History log of /seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Thy/bibtex.scala
Revision Date Author Comments
# 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