src/Pure/General/antiquote.ML
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;