Diffusion Isabelle 2fe338d91d47

tuned signature;
2fe338d91d47
Actions

Tags

None

Subscribers

None

Description

tuned signature;

Details

Provenance

Authored on

Parents

rISABELLE386ddccfccbf: implicit thy_load context for bibtex files (VSCode);

Branches

Unknown

Tags

Unknown

Event Timeline

Changes (5)

Path

Size

src/

Pure/

PIDE/

resources.scala

Thy/

Tools/

VSCode/

src/

document_model.scala

jEdit/

src/

document_model.scala

rISABELLE2fe338d91d47

src/Pure/PIDE/document.scala

Loading...

src/Pure/PIDE/resources.scala

Loading...

src/Pure/Thy/bibtex.scala

Loading...

src/Tools/VSCode/src/document_model.scala

Loading...

src/Tools/jEdit/src/document_model.scala

Loading...