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-ZF.el
changeset 27207 548e2d3105b9
parent 26896 d6fb318ba24e
child 27502 a8561998cea7 
--- a/etc/isar-keywords-ZF.el	Sat Jun 14 17:26:15 2008 +0200
+++ b/etc/isar-keywords-ZF.el	Sat Jun 14 17:49:24 2008 +0200
@@ -178,7 +178,6 @@
     "thm_deps"
     "thus"
     "thy_deps"
-    "token_translation"
     "touch_child_thys"
     "touch_thy"
     "translations"
@@ -396,7 +395,6 @@
     "text"
     "text_raw"
     "theorems"
-    "token_translation"
     "translations"
     "typed_print_translation"
     "typedecl"
isabelle