src/Pure/General/antiquote.ML
2009-03-22 wenzelm 2009-03-22 replaced Antiquote.is_antiq by Antiquote.is_text;
2009-03-20 wenzelm 2009-03-20 Antiquote.read: 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;