Diffusion Isabelle 2f91b787f509

more explicit language context;
2f91b787f509
Actions

Tags

None

Subscribers

None

Description

more explicit language context;

Details

Provenance

Authored on

Parents

rISABELLE922df6aa1607: clarified signature: more explicit types;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE2f91b787f509: more explicit language context;.Jan 13 2023, 7:07 PM

Changes (2)

Path

Size

src/

Pure/

PIDE/

Tools/

rISABELLE2f91b787f509

src/Pure/PIDE/markup.scala

Loading...

src/Pure/Tools/update.scala

Loading...