wenzelm [Thu, 16 Jul 2015 14:40:23 +0200] rev 60731
additional ML parse tree components for Poly/ML 5.5.3, or later;
support for ML completion;
tuned;
wenzelm [Thu, 16 Jul 2015 11:38:18 +0200] rev 60730
added option ML_debugger;
wenzelm [Thu, 16 Jul 2015 11:10:57 +0200] rev 60729
ML debugger interface;
traytel [Thu, 16 Jul 2015 12:23:22 +0200] rev 60728
{r,e,d,f}tac with proper context in BNF
hoelzl [Thu, 16 Jul 2015 10:48:20 +0200] rev 60727
move disjoint sets to their own theory
wenzelm [Wed, 15 Jul 2015 11:25:51 +0200] rev 60726
back to uniform BUILD_ARGS: first some options, then some sessions (cf. 4fce5d462afc);
wenzelm [Tue, 14 Jul 2015 19:08:40 +0200] rev 60725
merged
wenzelm [Tue, 14 Jul 2015 19:08:27 +0200] rev 60724
more explicit command-line option for isabelle build;
wenzelm [Tue, 14 Jul 2015 19:01:46 +0200] rev 60723
more aggressive compaction of multi-goal proof terms (see also a8babbb6d5ea, 4dd0ba632e40);
wenzelm [Tue, 14 Jul 2015 11:29:43 +0200] rev 60722
normalize proof before splitting conjunctions, according to Proof.conclude_goal (see also 4dd0ba632e40) -- may reduce general resource usage;