haftmann [Mon, 04 Nov 2013 20:10:10 +0100] rev 55703
dropped dead code
haftmann [Mon, 04 Nov 2013 20:10:09 +0100] rev 55702
fact generalization and name consolidation
haftmann [Mon, 04 Nov 2013 20:10:06 +0100] rev 55701
streamlined setup of linear arithmetic
blanchet [Mon, 04 Nov 2013 18:08:47 +0100] rev 55700
make 'try0' return faster when invoked as part of 'try'
blanchet [Mon, 04 Nov 2013 17:25:36 +0100] rev 55699
careful with lists of different lengths
blanchet [Mon, 04 Nov 2013 16:53:43 +0100] rev 55698
split 'primrec_new' and 'primcorec' code (to ease bootstrapping, e.g. dependency on datatype 'String' in 'primcorec')
blanchet [Mon, 04 Nov 2013 15:44:43 +0100] rev 55697
better error handling
traytel [Mon, 04 Nov 2013 14:54:29 +0100] rev 55696
more robust treatment of dead variables in n2m
blanchet [Mon, 04 Nov 2013 14:46:38 +0100] rev 55695
more robust n2m w.r.t. 'let's
blanchet [Mon, 04 Nov 2013 12:40:28 +0100] rev 55694
tuning