History log of /seL4-l4v-master/isabelle/src/Pure/Thy/bibtex.scala
Revision Date Author Comments
# 4be7e519 02-May-2019 wenzelm <none@none>

more bibtex fields;
# 838c7992 28-Nov-2018 wenzelm <none@none>

tuned signature;
# 9f3d4445 28-Nov-2018 wenzelm <none@none>

clarified signature;
# e163fd9b 13-Nov-2018 wenzelm <none@none>

more robust;
# 51861387 07-Nov-2018 wenzelm <none@none>

tuned;
# b73ca291 07-Nov-2018 wenzelm <none@none>

clarified signature;
# 481b9d82 07-Nov-2018 wenzelm <none@none>

more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
# 7c43e5f4 20-May-2018 wenzelm <none@none>

prefer HTTPS;
# 6d204302 29-Dec-2017 wenzelm <none@none>

clarified signature;
# 0507bf66 29-Dec-2017 wenzelm <none@none>

more accurate message patterns;
# 8d1c3b6c 28-Dec-2017 wenzelm <none@none>

tuned signature;
# de126fe7 28-Dec-2017 wenzelm <none@none>

implicit thy_load context for bibtex files;
# 9b039b55 28-Dec-2017 wenzelm <none@none>

clarified signature: prefer Document.Node.Name.is_bibtex;
# 2cd9ab98 24-Dec-2017 wenzelm <none@none>

clarified positions;
# 46e41c4f 24-Dec-2017 wenzelm <none@none>

check bibtex database on ML side -- for semantic PIDE editing;
tuned signature;
# 72f6cf9d 24-Dec-2017 wenzelm <none@none>

clarified directories;

--HG--
rename : src/Pure/Tools/bibtex.ML => src/Pure/Thy/bibtex.ML
rename : src/Pure/Tools/bibtex.scala => src/Pure/Thy/bibtex.scala