History log of /seL4-l4v-master/isabelle/src/Pure/Thy/file_format.scala
Revision Date Author Comments
# 703a5802 21-Dec-2018 wenzelm <none@none>

clarified;
# b34b7ff6 20-Dec-2018 wenzelm <none@none>

tuned comments;
# ff7783a3 20-Dec-2018 wenzelm <none@none>

support for File_Format.Session, e.g. server process accessible via prover options;
# 59c25f4f 10-Nov-2018 wenzelm <none@none>

support for user-defined Isabelle/Scala command-line tools;
misc tuning and clarification;
# 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;