# HG changeset patch
# User wenzelm
# Date 1125237889 -7200
# Node ID 9b498019723f8606ce48e0e86effe67960c6898a
# Parent  a786e1a1ce02147e9b7b7ace40a8e548f26dc76e
added alt_string;

diff -r a786e1a1ce02 -r 9b498019723f src/Pure/Isar/outer_parse.ML
--- a/src/Pure/Isar/outer_parse.ML	Sun Aug 28 16:04:48 2005 +0200
+++ b/src/Pure/Isar/outer_parse.ML	Sun Aug 28 16:04:49 2005 +0200
@@ -144,6 +144,7 @@
 val type_var = kind T.TypeVar;
 val number = kind T.Nat;
 val string = kind T.String;
+val alt_string = kind T.AltString;
 val verbatim = kind T.Verbatim;
 val sync = kind T.Sync;
 val eof = kind T.EOF;