src/Pure/PIDE/isar_document.ML
2010-08-20 wenzelm 2010-08-20 concentrate protocol message formats in Isar_Document;
2010-08-19 wenzelm 2010-08-19 moved Isar_Document to Pure/PIDE;