Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
etc/settings
changeset 72837 2c26c283f3ee
parent 72791 b79755daf0ad
child 72939 dc858da93233 
--- a/etc/settings	Sun Dec 06 16:14:16 2020 +0100
+++ b/etc/settings	Sun Dec 06 16:27:37 2020 +0100
@@ -25,6 +25,7 @@
 
 isabelle_scala_service 'isabelle.Scala_Functions'
 
+isabelle_scala_service 'isabelle.Sessions$File_Format'
 isabelle_scala_service 'isabelle.Bibtex$File_Format'
 
 isabelle_scala_service 'isabelle.ML_Statistics$Handler'
isabelle