src/Pure/Thy/thy_edit.ML
2008-06-25 wenzelm 2008-06-25 moved global keywords from OuterSyntax to OuterKeyword, tuned interfaces;
2008-05-14 wenzelm 2008-05-14 renamed Position.path to Path.position;
2007-07-12 wenzelm 2007-07-12 tuned signature; misc cleanup / simplification;
2007-07-11 wenzelm 2007-07-11 tuned markup;
2007-07-11 wenzelm 2007-07-11 treat OuterLex.Error;
2007-07-10 wenzelm 2007-07-10 Basic editing of theory sources.