wenzelm [Thu, 03 Feb 2011 19:21:12 +0100] rev 42572
clarified Proofterm.proofs_enabled;
wenzelm [Thu, 03 Feb 2011 18:57:42 +0100] rev 42571
explicit is better than implicit;
hoelzl [Fri, 04 Feb 2011 14:16:55 +0100] rev 42570
prefer p2e before e2p; use measure_unique_Int_stable_vimage;
hoelzl [Fri, 04 Feb 2011 14:16:55 +0100] rev 42569
add auto support for AE_mp
hoelzl [Fri, 04 Feb 2011 14:16:48 +0100] rev 42568
add borel_fubini_integrable; remove unused bijectivity rules for measureable functions
wenzelm [Wed, 02 Feb 2011 22:48:24 +0100] rev 42567
tuned odd conditional expression;
wenzelm [Wed, 02 Feb 2011 20:32:50 +0100] rev 42566
eliminated slightly odd abstract type Task_Queue.deps;
tuned signature;
tuned;
wenzelm [Wed, 02 Feb 2011 18:22:13 +0100] rev 42565
merged
wenzelm [Wed, 02 Feb 2011 17:26:07 +0100] rev 42564
refined Task_Queue.dequeue_deps (more incremental);
wenzelm [Wed, 02 Feb 2011 15:04:09 +0100] rev 42563
maintain Task_Queue.group within Task_Queue.task;
Task_Queue.dummy_task: id = 0 in accordance to Document.no_id etc.;
tuned signature;