# HG changeset patch
# User wenzelm
# Date 925202575 -7200
# Node ID d174c937bf939c7ea1e041d7d54142faa8ee3839
# Parent  11b07125422e29746aa1c6a3eb62ef8e619a2e61
"!" made keyword;

diff -r 11b07125422e -r d174c937bf93 src/Pure/Isar/isar_syn.ML
--- a/src/Pure/Isar/isar_syn.ML	Tue Apr 27 10:42:37 1999 +0200
+++ b/src/Pure/Isar/isar_syn.ML	Tue Apr 27 10:42:55 1999 +0200
@@ -493,9 +493,9 @@
   outer_parse.ML, otherwise be prepared for unexpected errors*)
 
 val keywords =
- ["(", ")", "*", "+", "--", ",", ":", "::", ";", "<", "<=", "=", "==", "=>",
-  "?", "[", "]", "and", "as", "binder", "files", "infixl", "infixr", "is",
-  "output", "{", "|", "}"];
+ ["!", "(", ")", "*", "+", "--", ",", ":", "::", ";", "<", "<=", "=", "==", "=>",
+  "?", "[", "]", "and", "as", "binder", "files", "infixl", "infixr",
+  "is", "output", "{", "|", "}"];
 
 val parsers = [
   (*theory structure*)