Thu, 22 Mar 2012 10:49:31 +0100 synchronize syntax uniformly for target stack and aux. context;
wenzelm [Thu, 22 Mar 2012 10:49:31 +0100] rev 47079
synchronize syntax uniformly for target stack and aux. context;
Thu, 22 Mar 2012 10:10:30 +0100 tuned;
wenzelm [Thu, 22 Mar 2012 10:10:30 +0100] rev 47078
tuned;
Wed, 21 Mar 2012 23:41:22 +0100 merged
wenzelm [Wed, 21 Mar 2012 23:41:22 +0100] rev 47077
merged
Wed, 21 Mar 2012 16:53:24 +0100 removed Satallax option, now that this is the default
blanchet [Wed, 21 Mar 2012 16:53:24 +0100] rev 47076
removed Satallax option, now that this is the default
Wed, 21 Mar 2012 16:53:24 +0100 doc update
blanchet [Wed, 21 Mar 2012 16:53:24 +0100] rev 47075
doc update
Wed, 21 Mar 2012 16:53:24 +0100 improve "remote_satallax" by exploiting unsat core
blanchet [Wed, 21 Mar 2012 16:53:24 +0100] rev 47074
improve "remote_satallax" by exploiting unsat core
Wed, 21 Mar 2012 16:53:24 +0100 generate weights and precedences for predicates as well
blanchet [Wed, 21 Mar 2012 16:53:24 +0100] rev 47073
generate weights and precedences for predicates as well
Wed, 21 Mar 2012 15:43:02 +0000 refinements to constructibility
paulson [Wed, 21 Mar 2012 15:43:02 +0000] rev 47072
refinements to constructibility
Wed, 21 Mar 2012 13:05:40 +0000 More structured proofs for infinite cardinalities
paulson [Wed, 21 Mar 2012 13:05:40 +0000] rev 47071
More structured proofs for infinite cardinalities
Wed, 21 Mar 2012 23:41:58 +0100 actually expose target context;
wenzelm [Wed, 21 Mar 2012 23:41:58 +0100] rev 47070
actually expose target context;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip