wenzelm [Wed, 08 Aug 2012 10:56:37 +0200] rev 49740
configure Admin as component, with its own lib/Tools;
wenzelm [Wed, 08 Aug 2012 10:40:52 +0200] rev 49739
SOMEthing went utterly wrong in 5b51ccdc8623;
wenzelm [Wed, 08 Aug 2012 00:22:06 +0200] rev 49738
more legacy targets;
wenzelm [Tue, 07 Aug 2012 23:43:05 +0200] rev 49737
discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution;
wenzelm [Tue, 07 Aug 2012 23:38:18 +0200] rev 49736
tuned;
blanchet [Tue, 07 Aug 2012 22:54:27 +0200] rev 49735
proper quoting
wenzelm [Tue, 07 Aug 2012 22:32:14 +0200] rev 49734
merged
wenzelm [Tue, 07 Aug 2012 22:25:17 +0200] rev 49733
more structural parsing for minor modes;
tuned signatures;
wenzelm [Tue, 07 Aug 2012 21:38:24 +0200] rev 49732
clarified Sidekick configuration, including minor modes;
blanchet [Tue, 07 Aug 2012 14:29:18 +0200] rev 49731
stop distinguishing between complete and incomplete slices, since this is very fragile and has hardly any useful semantics to users