Diffusion Isabelle 6e4093927dbb

outer syntax: support for control-cartouche tokens;
6e4093927dbb
Actions

Tags

None

Subscribers

None

Description

outer syntax: support for control-cartouche tokens;

Details

Provenance

Authored on

Parents

rISABELLEd8dc8fdc46fc: prefer veriT over Z3 in sledgehammer

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE6e4093927dbb: outer syntax: support for control-cartouche tokens;.Sep 28 2021, 4:01 PM

Changes (9)

Path

Size

src/

Pure/

General/

Isar/

ML/

Thy/

document_output.ML

Tools/

generated_files.ML

Tools/

jEdit/

src/

jedit_rendering.scala

rISABELLE6e4093927dbb

src/Pure/General/antiquote.ML

Loading...

src/Pure/General/scan.scala

Loading...

src/Pure/Isar/parse.ML

Loading...

src/Pure/Isar/token.ML

Loading...

src/Pure/Isar/token.scala

Loading...

src/Pure/ML/ml_lex.ML

Loading...

src/Pure/Thy/document_output.ML

Loading...

src/Pure/Tools/generated_files.ML

Loading...

src/Tools/jEdit/src/jedit_rendering.scala

Loading...