Thu, 05 Sep 2013 11:10:51 +0200 list_to_set_comprehension: don't crash in case distinctions on datatypes with even number of constructors
traytel [Thu, 05 Sep 2013 11:10:51 +0200] rev 53412
list_to_set_comprehension: don't crash in case distinctions on datatypes with even number of constructors
Thu, 05 Sep 2013 01:58:48 +0200 support indirect corecursion
panny [Thu, 05 Sep 2013 01:58:48 +0200] rev 53411
support indirect corecursion
Wed, 04 Sep 2013 23:57:38 +0200 tuned proofs;
wenzelm [Wed, 04 Sep 2013 23:57:38 +0200] rev 53410
tuned proofs;
Wed, 04 Sep 2013 22:37:19 +0200 tuned proofs;
wenzelm [Wed, 04 Sep 2013 22:37:19 +0200] rev 53409
tuned proofs;
Wed, 04 Sep 2013 21:25:03 +0200 tuned proofs;
wenzelm [Wed, 04 Sep 2013 21:25:03 +0200] rev 53408
tuned proofs;
Wed, 04 Sep 2013 17:40:07 +0200 tuned;
wenzelm [Wed, 04 Sep 2013 17:40:07 +0200] rev 53407
tuned;
Wed, 04 Sep 2013 17:36:37 +0200 tuned proofs;
wenzelm [Wed, 04 Sep 2013 17:36:37 +0200] rev 53406
tuned proofs;
Wed, 04 Sep 2013 17:35:47 +0200 interpret keys more movement only when needed;
wenzelm [Wed, 04 Sep 2013 17:35:47 +0200] rev 53405
interpret keys more movement only when needed;
Wed, 04 Sep 2013 16:03:45 +0200 non-persistent print_state: trade-off between JVM space vs. ML time;
wenzelm [Wed, 04 Sep 2013 16:03:45 +0200] rev 53404
non-persistent print_state: trade-off between JVM space vs. ML time;
Wed, 04 Sep 2013 15:27:24 +0200 some explicit indication of Proof General legacy;
wenzelm [Wed, 04 Sep 2013 15:27:24 +0200] rev 53403
some explicit indication of Proof General legacy;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip