Diffusion Isabelle f7d15620dd8e

antiquotations for Scala entities;
f7d15620dd8e
Actions

Tags

None

Subscribers

None

Description

antiquotations for Scala entities;

Details

Provenance

Authored on

Parents

rISABELLE4f4695757980: better closeup and more consistent terminology

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf7d15620dd8e: antiquotations for Scala entities;.May 25 2020, 7:10 PM

Changes (3)

Path

Size

etc/

lib/

texinputs/

isabellesym.sty

src/

Pure/

System/

rISABELLEf7d15620dd8e

etc/symbols

Loading...

lib/texinputs/isabellesym.sty

Loading...

src/Pure/System/scala_check.ML

Loading...