# HG changeset patch
# User wenzelm
# Date 1398931353 -7200
# Node ID 38eaaa54cd6ab176115d52d7b3c6054a31a23f19
# Parent  d3cc56ca54c987cd9c50a1816eab4f97ffa0f7a3
updated keywords;

diff -r d3cc56ca54c9 -r 38eaaa54cd6a etc/isar-keywords.el
--- 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"