2013-05-30 wenzelm more direct Context.setmp_thread_data for one-way passing of context;
2013-05-30 wenzelm tuned;
2013-05-30 wenzelm tuned;
2013-05-30 wenzelm do not open ML structures;
2013-05-30 wenzelm prefer separate 'ML_command' for parallel evaluation;
2013-05-30 wenzelm simplified context and data management -- plain ctxt: Proof.context is default for most operations;
2013-05-30 wenzelm more conventional spelling and grammar;
2013-05-30 wenzelm minor tuning -- more linebreaks;
2013-05-30 wenzelm removed pointless comment -- NB: Isabelle output is message-oriented with implicit line-boundaries;
2013-05-30 wenzelm standardized aliases;
2013-05-30 wenzelm do not handle arbitrary exceptions;
2013-05-30 bulwahn added Spec_Check -- a Quickcheck tool for Isabelle's ML environment;
2013-05-30 wenzelm merged
2013-05-30 wenzelm tuned signature;
2013-05-30 wenzelm tuned signature;
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -15 +15 +100 +300 +1000 +3000 +10000 tip