isabelle: Changelog

wenzelm [Wed, 08 Aug 2012 00:22:06 +0200] rev 48723

more legacy targets;

wenzelm [Tue, 07 Aug 2012 23:43:05 +0200] rev 48722

discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution;

wenzelm [Tue, 07 Aug 2012 23:38:18 +0200] rev 48721

tuned;

blanchet [Tue, 07 Aug 2012 22:54:27 +0200] rev 48720

proper quoting

wenzelm [Tue, 07 Aug 2012 22:32:14 +0200] rev 48719

merged

wenzelm [Tue, 07 Aug 2012 22:25:17 +0200] rev 48718

more structural parsing for minor modes; tuned signatures;

wenzelm [Tue, 07 Aug 2012 21:38:24 +0200] rev 48717

clarified Sidekick configuration, including minor modes;

blanchet [Tue, 07 Aug 2012 14:29:18 +0200] rev 48716

stop distinguishing between complete and incomplete slices, since this is very fragile and has hardly any useful semantics to users

blanchet [Tue, 07 Aug 2012 13:03:50 +0200] rev 48715

specify full path to clausifier

blanchet [Tue, 07 Aug 2012 11:25:01 +0200] rev 48714

documentation

isabelle