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 51270 17d30843fc3b
parent 50302 9149a07a6c67
child 51275 3928173409e4 
--- a/etc/isar-keywords.el	Mon Feb 25 10:50:52 2013 +0100
+++ b/etc/isar-keywords.el	Mon Feb 25 11:07:02 2013 +0100
@@ -367,6 +367,7 @@
     "kill"
     "kill_thy"
     "linear_undo"
+    "pretty_setmargin"
     "quit"
     "remove_thy"
     "undo"
@@ -392,7 +393,6 @@
     "locale_deps"
     "nitpick"
     "pr"
-    "pretty_setmargin"
     "prf"
     "print_abbrevs"
     "print_antiquotations"
isabelle