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 keywords;
authorwenzelm
Thu, 01 May 2014 10:02:33 +0200
changeset 56804 38eaaa54cd6a
parent 56803 d3cc56ca54c9
child 56805 8a87502c7da3
updated keywords;
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords.el	Wed Apr 30 22:45:26 2014 +0200
+++ b/etc/isar-keywords.el	Thu May 01 10:02:33 2014 +0200
@@ -251,7 +251,6 @@
     "sorry"
     "spark_end"
     "spark_open"
-    "spark_open_siv"
     "spark_open_vcg"
     "spark_proof_functions"
     "spark_status"
@@ -581,7 +580,6 @@
     "sledgehammer_params"
     "spark_end"
     "spark_open"
-    "spark_open_siv"
     "spark_open_vcg"
     "spark_proof_functions"
     "spark_types"
isabelle