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 51270 17d30843fc3b
parent 49571 7e6fc0254d23
child 51293 05b1bbae748d 
--- a/etc/isar-keywords-ZF.el	Mon Feb 25 10:50:52 2013 +0100
+++ b/etc/isar-keywords-ZF.el	Mon Feb 25 11:07:02 2013 +0100
@@ -270,6 +270,7 @@
     "kill"
     "kill_thy"
     "linear_undo"
+    "pretty_setmargin"
     "quit"
     "remove_thy"
     "undo"
@@ -289,7 +290,6 @@
     "help"
     "locale_deps"
     "pr"
-    "pretty_setmargin"
     "prf"
     "print_abbrevs"
     "print_antiquotations"
isabelle