Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. fewer warnings;
  2. clarified positions;
  3. check bibtex database on ML side -- for semantic PIDE editing; tuned signature;
  4. clarified directories;
Changeset 67277:7dda4a667e40 by wenzelm:
fewer warnings;
The file was modified src/Doc/manual.bib (diff)
Changeset 67276:abac35ee3565 by wenzelm:
clarified positions;
The file was modified src/Pure/Thy/bibtex.scala (diff)
Changeset 67275:5e427586cb57 by wenzelm:
check bibtex database on ML side -- for semantic PIDE editing;<br>tuned signature;
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/Thy/bibtex.ML (diff)
The file was modified src/Pure/Thy/bibtex.scala (diff)
Changeset 67274:4588f714a78a by wenzelm:
clarified directories;
The file was addedsrc/Pure/Thy/bibtex.ML
The file was addedsrc/Pure/Thy/bibtex.scala
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/build-jars (diff)
The file was removedsrc/Pure/Tools/bibtex.ML
The file was removedsrc/Pure/Tools/bibtex.scala