2011-07-23 wenzelm 2011-07-23 defer evaluation of Scan.message, for improved performance in the frequent situation where failure is handled later (e.g. via ||);
2011-04-30 wenzelm 2011-04-30 allow nested @{antiq} (nonterminal) and @@{antiq} terminal;
2011-04-30 wenzelm 2011-04-30 more uniform variations of scan_string;
2010-09-17 wenzelm 2010-09-17 tuned signature of (Context_) variants;
2009-03-24 wenzelm 2009-03-24 datatype antiquote: maintain original Position.range, which is eventually attached to the resulting ML tokens;
2009-03-22 wenzelm 2009-03-22 export report -- version that actually covers all cases; export check_nesting; simplified read (again);
2009-03-22 wenzelm 2009-03-22 replaced Antiquote.is_antiq by Antiquote.is_text;
2009-03-20 wenzelm 2009-03-20 argument for reporting text;
2009-03-19 wenzelm 2009-03-19 parameterized datatype antiquote and read operation;
2009-03-19 wenzelm 2009-03-19 Antiquote.Text: keep full position information;
2009-03-19 wenzelm 2009-03-19 moved Isar/antiquote.ML to General/antiquote.ML, which is loaded early;