Tue, 02 Sep 2014 12:13:32 +0200 merge
blanchet [Tue, 02 Sep 2014 12:13:32 +0200] rev 58138
merge
Tue, 02 Sep 2014 12:11:04 +0200 made SML/NJ happier
blanchet [Tue, 02 Sep 2014 12:11:04 +0200] rev 58137
made SML/NJ happier
Tue, 02 Sep 2014 12:09:13 +0200 tuning
blanchet [Tue, 02 Sep 2014 12:09:13 +0200] rev 58136
tuning
Tue, 02 Sep 2014 09:28:23 +0200 silenced nonexhaustive primrec warnings
traytel [Tue, 02 Sep 2014 09:28:23 +0200] rev 58135
silenced nonexhaustive primrec warnings
Tue, 02 Sep 2014 08:24:42 +0200 more convenient printing of real numbers after evaluation
haftmann [Tue, 02 Sep 2014 08:24:42 +0200] rev 58134
more convenient printing of real numbers after evaluation
Mon, 01 Sep 2014 19:58:25 +0200 avoid more 'bad background theory' issues
blanchet [Mon, 01 Sep 2014 19:58:25 +0200] rev 58133
avoid more 'bad background theory' issues
Mon, 01 Sep 2014 19:57:48 +0200 ported TFL to mixture of old and new datatypes
blanchet [Mon, 01 Sep 2014 19:57:48 +0200] rev 58132
ported TFL to mixture of old and new datatypes
Mon, 01 Sep 2014 19:28:00 +0200 drop hopeless feature -- unfolding of BNF datatype info without a prior 'datatype_compat'
blanchet [Mon, 01 Sep 2014 19:28:00 +0200] rev 58131
drop hopeless feature -- unfolding of BNF datatype info without a prior 'datatype_compat'
Mon, 01 Sep 2014 18:42:02 +0200 ported to use new-style datatypes
blanchet [Mon, 01 Sep 2014 18:42:02 +0200] rev 58130
ported to use new-style datatypes * * * compile
Mon, 01 Sep 2014 17:34:03 +0200 ported Refute to use new datatypes when possible
blanchet [Mon, 01 Sep 2014 17:34:03 +0200] rev 58129
ported Refute to use new datatypes when possible
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip