Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated;
authorwenzelm
Wed, 14 Nov 2001 23:14:59 +0100
changeset 12184 f4aaa2647fd2
parent 12183 c10cea75dd56
child 12185 54bd9aa3343d
updated;
etc/isar-keywords-ZF.el file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords-ZF.el	Wed Nov 14 18:46:30 2001 +0100
+++ b/etc/isar-keywords-ZF.el	Wed Nov 14 23:14:59 2001 +0100
@@ -106,6 +106,7 @@
     "print_methods"
     "print_simpset"
     "print_syntax"
+    "print_tcset"
     "print_theorems"
     "print_theory"
     "print_trans_rules"
@@ -234,6 +235,7 @@
     "print_methods"
     "print_simpset"
     "print_syntax"
+    "print_tcset"
     "print_theorems"
     "print_theory"
     "print_trans_rules"
isabelle