src/Pure/Isar/comment.ML
1999-08-03 ago improved interest;
1999-05-25 ago renamed empty to none;
1999-04-30 ago added Isar/comment.ML;