Diffusion Isabelle aafe49b63205

explicit legacy_feature;
aafe49b63205
Actions

Tags

None

Subscribers

None

Description

explicit legacy_feature;

Details

Provenance

Authored on

Parents

rISABELLE29432d4a376d: more robust: rely on PIDE markup instead of regex guess;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEaafe49b63205: explicit legacy_feature;.Jan 15 2023, 3:30 PM

Changes (1)

Path

Size

src/

Pure/

Thy/

rISABELLEaafe49b63205

src/Pure/Thy/bibtex.ML

Loading...