Diffusion Isabelle 29432d4a376d

more robust: rely on PIDE markup instead of regex guess;
29432d4a376d
Actions

Tags

None

Subscribers

None

Description

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

Details

Provenance

Authored on

Parents

rISABELLE90fea73f051d: more index entries;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE29432d4a376d: more robust: rely on PIDE markup instead of regex guess;.Jan 15 2023, 12:55 PM

Changes (2)

Path

Size

src/

Pure/

Thy/

Tools/

rISABELLE29432d4a376d

src/Pure/Thy/bibtex.scala

Loading...

src/Pure/Tools/update.scala

Loading...