blanchet [Wed, 06 Jul 2011 17:19:34 +0100] rev 44556
better setup for experimental "z3_atp"
krauss [Wed, 06 Jul 2011 17:58:03 +0200] rev 44555
64bit versions of some mira configurations
krauss [Wed, 06 Jul 2011 17:56:58 +0200] rev 44554
removed unused mira configuration
bulwahn [Wed, 06 Jul 2011 13:57:52 +0200] rev 44553
merged
bulwahn [Wed, 06 Jul 2011 13:52:42 +0200] rev 44552
tuning options to avoid spurious isabelle test failures
wenzelm [Wed, 06 Jul 2011 09:54:40 +0200] rev 44551
merged
wenzelm [Tue, 05 Jul 2011 23:18:14 +0200] rev 44550
simplified Symbol.iterator: produce strings, which are mostly preallocated;
eliminated Symbol.CharSequence complications;
wenzelm [Tue, 05 Jul 2011 22:43:18 +0200] rev 44549
tuned comment (cf. e9f26e66692d);
wenzelm [Tue, 05 Jul 2011 22:39:15 +0200] rev 44548
Thy_Info.dependencies: ignore already loaded theories, according to initial prover session status;
wenzelm [Tue, 05 Jul 2011 22:38:44 +0200] rev 44547
theory name needs to conform to Path syntax;