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.
src/Pure/Tools/keywords.scala
changeset 56146 8453d35e4684
parent 55618 995162143ef4
child 56631 89269bb8e7ca 
--- a/src/Pure/Tools/keywords.scala	Fri Mar 14 15:26:52 2014 +0100
+++ b/src/Pure/Tools/keywords.scala	Fri Mar 14 15:41:29 2014 +0100
@@ -25,7 +25,6 @@
     "thy_heading4" -> "theory-heading",
     "thy_load" -> "theory-decl",
     "thy_decl" -> "theory-decl",
-    "thy_script" -> "theory-script",
     "thy_goal" -> "theory-goal",
     "qed_script" -> "qed",
     "qed_block" -> "qed-block",
isabelle