Diffusion Isabelle 38e19412cf31

clarified types;
38e19412cf31
Actions

Tags

None

Subscribers

None

Description

clarified types;

Details

Provenance

Authored on

Parents

rISABELLE2f91b787f509: more explicit language context;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE38e19412cf31: clarified types;.Jan 13 2023, 7:16 PM

Changes (3)

Path

Size

src/

Pure/

General/

completion.scala

PIDE/

Tools/

rISABELLE38e19412cf31

src/Pure/General/completion.scala

Loading...

src/Pure/PIDE/markup.scala

Loading...

src/Pure/Tools/update.scala

Loading...