Wed, 08 Jun 2011 08:47:43 +0200 removed removed option from documentation
blanchet [Wed, 08 Jun 2011 08:47:43 +0200] rev 43260
removed removed option from documentation
Wed, 08 Jun 2011 08:47:43 +0200 killed "explicit_apply" option in Sledgehammer -- the "smart" default is about as lightweight as "false" and just as complete as "true"
blanchet [Wed, 08 Jun 2011 08:47:43 +0200] rev 43259
killed "explicit_apply" option in Sledgehammer -- the "smart" default is about as lightweight as "false" and just as complete as "true"
Wed, 08 Jun 2011 08:47:43 +0200 slightly faster/cleaner accumulation of polymorphic consts
blanchet [Wed, 08 Jun 2011 08:47:43 +0200] rev 43258
slightly faster/cleaner accumulation of polymorphic consts
Wed, 08 Jun 2011 00:01:20 +0200 eliminated unnecessary tail-recursion and funny use of records as 'named arguments' for functions
krauss [Wed, 08 Jun 2011 00:01:20 +0200] rev 43257
eliminated unnecessary tail-recursion and funny use of records as 'named arguments' for functions
Wed, 08 Jun 2011 00:01:20 +0200 more conventional variable naming
krauss [Wed, 08 Jun 2011 00:01:20 +0200] rev 43256
more conventional variable naming
Wed, 08 Jun 2011 00:01:20 +0200 dropped outdated/speculative historical comments;
krauss [Wed, 08 Jun 2011 00:01:20 +0200] rev 43255
dropped outdated/speculative historical comments; adapted to isabelle commenting style; tuned
Wed, 08 Jun 2011 00:01:20 +0200 less redundant tags
krauss [Wed, 08 Jun 2011 00:01:20 +0200] rev 43254
less redundant tags
Wed, 08 Jun 2011 00:01:20 +0200 removed generation of instantiated pattern set, which is never actually used
krauss [Wed, 08 Jun 2011 00:01:20 +0200] rev 43253
removed generation of instantiated pattern set, which is never actually used
Wed, 08 Jun 2011 00:01:20 +0200 more precise type for obscure "prfx" field
krauss [Wed, 08 Jun 2011 00:01:20 +0200] rev 43252
more precise type for obscure "prfx" field
Tue, 07 Jun 2011 21:37:40 +0200 clarified (and slightly modified) the semantics of max_new_instances
boehmes [Tue, 07 Jun 2011 21:37:40 +0200] rev 43251
clarified (and slightly modified) the semantics of max_new_instances
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip