isabelle: Changelog

wenzelm [Fri, 10 Nov 2006 23:22:12 +0100] rev 21300

tuned comments; back to fast String.compare (almost no difference in performance);

wenzelm [Fri, 10 Nov 2006 23:22:11 +0100] rev 21299

tuned comments;

wenzelm [Fri, 10 Nov 2006 23:22:10 +0100] rev 21298

tuned names of start_timing,/end_timing/check_timer; removed obsolete ML compatibility fragments;

wenzelm [Fri, 10 Nov 2006 23:22:04 +0100] rev 21297

removed obsolete ML compatibility fragments;

wenzelm [Fri, 10 Nov 2006 23:22:03 +0100] rev 21296

avoid strange typing problem in MosML;

wenzelm [Fri, 10 Nov 2006 23:22:01 +0100] rev 21295

tuned names of start_timing,/end_timing/check_timer;

wenzelm [Fri, 10 Nov 2006 22:18:54 +0100] rev 21294

simplified local theory wrappers;

isabelle