Wed, 08 Jun 2011 16:20:18 +0200 restore comment about subtle issue
blanchet [Wed, 08 Jun 2011 16:20:18 +0200] rev 43294
restore comment about subtle issue
Wed, 08 Jun 2011 16:20:18 +0200 made "query" type systes a bit more sound -- local facts, e.g. the negated conjecture, may make invalid the infinity check, e.g. if we are proving that there exists two values of an infinite type, we can use the negated conjecture that there is only one value to derive unsound proofs unless the type is properly encoded
blanchet [Wed, 08 Jun 2011 16:20:18 +0200] rev 43293
made "query" type systes a bit more sound -- local facts, e.g. the negated conjecture, may make invalid the infinity check, e.g. if we are proving that there exists two values of an infinite type, we can use the negated conjecture that there is only one value to derive unsound proofs unless the type is properly encoded
Wed, 08 Jun 2011 16:20:18 +0200 don't launch the automatic minimizer for zero facts
blanchet [Wed, 08 Jun 2011 16:20:18 +0200] rev 43292
don't launch the automatic minimizer for zero facts
Wed, 08 Jun 2011 16:20:18 +0200 don't generate unsound proof error for missing proofs
blanchet [Wed, 08 Jun 2011 16:20:18 +0200] rev 43291
don't generate unsound proof error for missing proofs
Wed, 08 Jun 2011 16:20:18 +0200 renamed option to avoid talking about seconds, since this is now the default Isabelle unit
blanchet [Wed, 08 Jun 2011 16:20:18 +0200] rev 43290
renamed option to avoid talking about seconds, since this is now the default Isabelle unit
Wed, 08 Jun 2011 16:20:18 +0200 fixed format selection logic for Waldmeister
blanchet [Wed, 08 Jun 2011 16:20:18 +0200] rev 43289
fixed format selection logic for Waldmeister
Wed, 08 Jun 2011 16:20:18 +0200 better default type system for Waldmeister, with fewer predicates (for types or type classes)
blanchet [Wed, 08 Jun 2011 16:20:18 +0200] rev 43288
better default type system for Waldmeister, with fewer predicates (for types or type classes)
Wed, 08 Jun 2011 22:06:05 +0200 simplified directory structure;
wenzelm [Wed, 08 Jun 2011 22:06:05 +0200] rev 43287
simplified directory structure; recovered README.html;
Wed, 08 Jun 2011 21:40:54 +0200 simplified directory structure;
wenzelm [Wed, 08 Jun 2011 21:40:54 +0200] rev 43286
simplified directory structure;
Wed, 08 Jun 2011 21:29:49 +0200 further jedit build option;
wenzelm [Wed, 08 Jun 2011 21:29:49 +0200] rev 43285
further jedit build option; misc tuning;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip