Wed, 18 Jul 2012 08:44:03 +0200 blanchet more implementation work on MaSh
Wed, 18 Jul 2012 08:44:03 +0200 blanchet started implementing MaSh client-side I/O
Wed, 18 Jul 2012 08:44:03 +0200 blanchet tweak output
Wed, 18 Jul 2012 08:44:03 +0200 blanchet centrally construct expensive data structures
Wed, 18 Jul 2012 08:44:03 +0200 blanchet more work on MaSh
Wed, 18 Jul 2012 08:44:03 +0200 blanchet compile
Wed, 18 Jul 2012 08:44:03 +0200 blanchet gracefully handle the case of empty theories when going up the accessibility chain
Wed, 18 Jul 2012 08:44:03 +0200 blanchet tuning
Wed, 18 Jul 2012 08:44:03 +0200 blanchet doc updates
Wed, 18 Jul 2012 08:44:03 +0200 blanchet renamed Sledgehammer options
Wed, 18 Jul 2012 08:44:03 +0200 blanchet more code rationalization in relevance filter
Wed, 18 Jul 2012 08:44:03 +0200 blanchet moved override out of iter filter
Wed, 18 Jul 2012 08:44:03 +0200 blanchet fixed bug introduced when moving code around
Wed, 18 Jul 2012 08:44:03 +0200 blanchet systematize lazy names in relevance filter
Wed, 18 Jul 2012 08:44:03 +0200 blanchet rationalize relevance filter, slowing moving code from Iter to MaSh
Wed, 18 Jul 2012 08:44:03 +0200 blanchet killed one file
Wed, 18 Jul 2012 08:44:03 +0200 blanchet dependency tuning
Wed, 18 Jul 2012 08:44:03 +0200 blanchet renaming
Wed, 18 Jul 2012 08:44:03 +0200 blanchet clean up dependencies
Tue, 17 Jul 2012 23:11:27 +0200 haftmann explicitly import Dlist theory into library
Tue, 17 Jul 2012 23:11:24 +0200 haftmann tuned whitespace
Tue, 17 Jul 2012 23:07:51 +0200 haftmann dropped ancient example generates
Tue, 17 Jul 2012 22:34:29 +0200 wenzelm basic support for session ROOT files, with examples for FOL and ZF;
Tue, 17 Jul 2012 21:49:32 +0200 wenzelm more accurate imitation of formal text;
Tue, 17 Jul 2012 16:56:29 +0200 wenzelm avoid Source.fromFile, which does not necessarily close its input;
Tue, 17 Jul 2012 16:54:23 +0200 wenzelm tuned imports;
Tue, 17 Jul 2012 15:56:19 +0200 wenzelm basic setup for Isabelle build tool;
Tue, 17 Jul 2012 14:33:23 +0200 wenzelm more standard main method;
Tue, 17 Jul 2012 13:07:28 +0200 wenzelm avoid slightly odd share_common_data -- Poly/ML 5.5.x should manage low-memory situations (cf. f55e77f623ab);
Tue, 17 Jul 2012 10:39:39 +0200 bulwahn improved equality optimisation in Quickcheck
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 tip