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-HOL-Nominal.el
changeset 20568 9b7f59c1bdfc
parent 20529 1ca27b3ed2e7
child 20586 548fd4cd2eb3 
--- a/etc/isar-keywords-HOL-Nominal.el	Mon Sep 18 16:21:24 2006 +0200
+++ b/etc/isar-keywords-HOL-Nominal.el	Mon Sep 18 19:12:40 2006 +0200
@@ -39,6 +39,7 @@
     "cd"
     "chapter"
     "class"
+    "class_deps"
     "classes"
     "classrel"
     "clear_undos"
@@ -288,6 +289,7 @@
     "ML_command"
     "ProofGeneral\\.call_atp"
     "cd"
+    "class_deps"
     "commit"
     "disable_pr"
     "display_drafts"
isabelle