Diffusion Isabelle d01ea9e3bd2d

clarified bibtex_entries: refer to overall session structure;
d01ea9e3bd2d
Actions

Tags

None

Subscribers

None

Description

clarified bibtex_entries: refer to overall session structure;

Details

Provenance

Authored on

Parents

rISABELLE878c73cdfa0d: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEd01ea9e3bd2d: clarified bibtex_entries: refer to overall session structure;.Nov 15 2020, 5:34 PM

makarius mentioned this in rISABELLE5f49f1149c1c: clarified reports before errors: support completion of bibtex entries in….Jan 24 2021, 8:01 PM

Changes (10)

Path

Size

src/

Pure/

ML/

ml_process.scala

PIDE/

Thy/

Tools/

rISABELLEd01ea9e3bd2d

src/Pure/ML/ml_process.scala

Loading...

src/Pure/PIDE/protocol.ML

Loading...

src/Pure/PIDE/protocol.scala

Loading...

src/Pure/PIDE/resources.ML

Loading...

src/Pure/Thy/bibtex.ML

Loading...

src/Pure/Thy/present.ML

Loading...

src/Pure/Thy/sessions.scala

Loading...

src/Pure/Thy/thy_info.ML

Loading...

src/Pure/Tools/build.ML

Loading...

src/Pure/Tools/build.scala

Loading...