updated keywords;
authorwenzelm
Thu May 01 10:02:33 2014 +0200 (2014-05-01)
changeset 5680438eaaa54cd6a
parent 56803 d3cc56ca54c9
child 56805 8a87502c7da3
updated keywords;
etc/isar-keywords.el
     1.1 --- a/etc/isar-keywords.el	Wed Apr 30 22:45:26 2014 +0200
     1.2 +++ b/etc/isar-keywords.el	Thu May 01 10:02:33 2014 +0200
     1.3 @@ -251,7 +251,6 @@
     1.4      "sorry"
     1.5      "spark_end"
     1.6      "spark_open"
     1.7 -    "spark_open_siv"
     1.8      "spark_open_vcg"
     1.9      "spark_proof_functions"
    1.10      "spark_status"
    1.11 @@ -581,7 +580,6 @@
    1.12      "sledgehammer_params"
    1.13      "spark_end"
    1.14      "spark_open"
    1.15 -    "spark_open_siv"
    1.16      "spark_open_vcg"
    1.17      "spark_proof_functions"
    1.18      "spark_types"