Diffusion Isabelle c044306db39f

support embedded syntax, for use with control symbols;
c044306db39f
Actions

Tags

None

Subscribers

None

Description

support embedded syntax, for use with control symbols;

Details

Provenance

Authored on

Parents

rISABELLEa8566127d43b: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc044306db39f: support embedded syntax, for use with control symbols;.Jan 13 2023, 3:57 PM

Changes (2)

Path

Size

etc/

src/

Pure/

Thy/

rISABELLEc044306db39f

etc/symbols

Loading...

src/Pure/Thy/bibtex.ML

Loading...