Mon, 01 Jun 2015 18:59:20 +0200 tuned order
haftmann [Mon, 01 Jun 2015 18:59:20 +0200] rev 60340
tuned order
Mon, 01 Jun 2015 18:59:20 +0200 dedicated config options to deactivate uncheck phase for improvable syntax
haftmann [Mon, 01 Jun 2015 18:59:20 +0200] rev 60339
dedicated config options to deactivate uncheck phase for improvable syntax
Mon, 01 Jun 2015 18:59:19 +0200 clarified interfaces for improvable syntax
haftmann [Mon, 01 Jun 2015 18:59:19 +0200] rev 60338
clarified interfaces for improvable syntax
Mon, 01 Jun 2015 18:59:19 +0200 tuned
haftmann [Mon, 01 Jun 2015 18:59:19 +0200] rev 60337
tuned
Mon, 01 Jun 2015 18:07:36 +0200 clarified context;
wenzelm [Mon, 01 Jun 2015 18:07:36 +0200] rev 60336
clarified context;
Mon, 01 Jun 2015 17:44:45 +0200 clarified context;
wenzelm [Mon, 01 Jun 2015 17:44:45 +0200] rev 60335
clarified context;
Mon, 01 Jun 2015 17:08:47 +0200 clarified context;
wenzelm [Mon, 01 Jun 2015 17:08:47 +0200] rev 60334
clarified context;
Mon, 01 Jun 2015 16:07:38 +0200 tuned;
wenzelm [Mon, 01 Jun 2015 16:07:38 +0200] rev 60333
tuned;
Mon, 01 Jun 2015 15:39:53 +0200 discontinued unused / unmaintained SVC oracle -- current Isabelle tools (e.g. arith, smt) can easily solve the given examples with full proof reconstruction;
wenzelm [Mon, 01 Jun 2015 15:39:53 +0200] rev 60332
discontinued unused / unmaintained SVC oracle -- current Isabelle tools (e.g. arith, smt) can easily solve the given examples with full proof reconstruction;
Mon, 01 Jun 2015 15:06:09 +0200 discontinued legacy;
wenzelm [Mon, 01 Jun 2015 15:06:09 +0200] rev 60331
discontinued legacy;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip