Wed, 08 Aug 2012 11:02:38 +0200 proper isabelle update_keywords tool;
wenzelm [Wed, 08 Aug 2012 11:02:38 +0200] rev 48726
proper isabelle update_keywords tool;
Wed, 08 Aug 2012 10:56:37 +0200 configure Admin as component, with its own lib/Tools;
wenzelm [Wed, 08 Aug 2012 10:56:37 +0200] rev 48725
configure Admin as component, with its own lib/Tools;
Wed, 08 Aug 2012 10:40:52 +0200 SOMEthing went utterly wrong in 5b51ccdc8623;
wenzelm [Wed, 08 Aug 2012 10:40:52 +0200] rev 48724
SOMEthing went utterly wrong in 5b51ccdc8623;
Wed, 08 Aug 2012 00:22:06 +0200 more legacy targets;
wenzelm [Wed, 08 Aug 2012 00:22:06 +0200] rev 48723
more legacy targets;
Tue, 07 Aug 2012 23:43:05 +0200 discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution;
wenzelm [Tue, 07 Aug 2012 23:43:05 +0200] rev 48722
discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution;
Tue, 07 Aug 2012 23:38:18 +0200 tuned;
wenzelm [Tue, 07 Aug 2012 23:38:18 +0200] rev 48721
tuned;
Tue, 07 Aug 2012 22:54:27 +0200 proper quoting
blanchet [Tue, 07 Aug 2012 22:54:27 +0200] rev 48720
proper quoting
Tue, 07 Aug 2012 22:32:14 +0200 merged
wenzelm [Tue, 07 Aug 2012 22:32:14 +0200] rev 48719
merged
Tue, 07 Aug 2012 22:25:17 +0200 more structural parsing for minor modes;
wenzelm [Tue, 07 Aug 2012 22:25:17 +0200] rev 48718
more structural parsing for minor modes; tuned signatures;
Tue, 07 Aug 2012 21:38:24 +0200 clarified Sidekick configuration, including minor modes;
wenzelm [Tue, 07 Aug 2012 21:38:24 +0200] rev 48717
clarified Sidekick configuration, including minor modes;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip