--- a/src/Pure/Isar/parse.ML Fri Jan 17 20:51:36 2014 +0100
+++ b/src/Pure/Isar/parse.ML Sat Jan 18 19:15:12 2014 +0100
@@ -32,6 +32,7 @@
val string: string parser
val alt_string: string parser
val verbatim: string parser
+ val cartouche: string parser
val sync: string parser
val eof: string parser
val command_name: string -> string parser
@@ -185,6 +186,7 @@
val string = kind Token.String;
val alt_string = kind Token.AltString;
val verbatim = kind Token.Verbatim;
+val cartouche = kind Token.Cartouche;
val sync = kind Token.Sync;
val eof = kind Token.EOF;