--- a/src/Pure/Isar/token.ML Mon Jan 20 16:14:19 2014 +0100
+++ b/src/Pure/Isar/token.ML Mon Jan 20 16:56:18 2014 +0100
@@ -116,10 +116,10 @@
| TypeVar => "schematic type variable"
| Nat => "natural number"
| Float => "floating-point number"
- | String => "string"
+ | String => "quoted string"
| AltString => "back-quoted string"
| Verbatim => "verbatim text"
- | Cartouche => "cartouche"
+ | Cartouche => "text cartouche"
| Space => "white space"
| Comment => "comment text"
| InternalValue => "internal value"