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/isar-keywords.el
changeset 56275 600f432ab556
parent 56270 ce9c7a527c4b
child 56618 874bdedb2313 
--- a/etc/isar-keywords.el	Tue Mar 25 10:37:10 2014 +0100
+++ b/etc/isar-keywords.el	Tue Mar 25 13:18:10 2014 +0100
@@ -20,6 +20,7 @@
     "ProofGeneral\\.process_pgip"
     "ProofGeneral\\.restart"
     "ProofGeneral\\.undo"
+    "SML_file"
     "abbreviation"
     "adhoc_overloading"
     "also"
@@ -482,6 +483,7 @@
 (defconst isar-keywords-theory-decl
   '("ML"
     "ML_file"
+    "SML_file"
     "abbreviation"
     "adhoc_overloading"
     "atom_decl"
isabelle