src/Pure/Isar/comment.ML
2000-06-25 ago exception OUTPUT_FAIL of (string * Position.T) * exn
2000-05-05 ago GPLed;
1999-12-22 ago text: string list;
1999-09-29 ago added string_of: text -> string;
1999-08-03 ago improved interest;
1999-05-25 ago renamed empty to none;
1999-04-30 ago added Isar/comment.ML;