isabelle: Changelog

wenzelm [Wed, 01 Aug 2007 16:55:37 +0200] rev 24110

tuned config options: eliminated separate attribute "option";

wenzelm [Wed, 01 Aug 2007 16:50:16 +0200] rev 24109

oops -- fixed syntax;

wenzelm [Wed, 01 Aug 2007 16:48:47 +0200] rev 24108

"running": PROTECTED wakeup; "cont": actually invoke wakeup!!

wenzelm [Tue, 31 Jul 2007 23:23:34 +0200] rev 24107

proper path specifications;

wenzelm [Tue, 31 Jul 2007 23:23:28 +0200] rev 24106

simultaneous use_thys;

wenzelm [Tue, 31 Jul 2007 22:21:22 +0200] rev 24105

setmp_noncritical print_mode;

wenzelm [Tue, 31 Jul 2007 22:21:20 +0200] rev 24104

simultaneous use_thys;

wenzelm [Tue, 31 Jul 2007 22:21:18 +0200] rev 24103

removed obsolete HOL/Real/ROOT.ML;

wenzelm [Tue, 31 Jul 2007 21:19:24 +0200] rev 24102

no_document: setmp_noncritical;

wenzelm [Tue, 31 Jul 2007 21:19:23 +0200] rev 24101

with_charset: setmp_noncritical;

isabelle