Summary
- fewer warnings;
- clarified positions;
- check bibtex database on ML side -- for semantic PIDE editing; tuned signature;
- clarified directories;
The file was modified | src/Doc/manual.bib (diff) |
The file was modified | src/Pure/Thy/bibtex.scala (diff) |
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) |
The file was added | src/Pure/Thy/bibtex.ML |
The file was added | src/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 removed | src/Pure/Tools/bibtex.ML |
The file was removed | src/Pure/Tools/bibtex.scala |