Wed, 12 Feb 2014 08:35:56 +0100 use new selector support to define 'the', 'hd', 'tl'
blanchet [Wed, 12 Feb 2014 08:35:56 +0100] rev 55405
use new selector support to define 'the', 'hd', 'tl'
Wed, 12 Feb 2014 08:35:56 +0100 transformed 'option' and 'list' into new-style datatypes (but register them as old-style as well)
blanchet [Wed, 12 Feb 2014 08:35:56 +0100] rev 55404
transformed 'option' and 'list' into new-style datatypes (but register them as old-style as well) * * * compile * * * tuned imports to prevent merge issues in 'Main'
Wed, 12 Feb 2014 08:35:56 +0100 avoid duplicate 'case' definitions by first looking up 'Ctr_Sugar'
blanchet [Wed, 12 Feb 2014 08:35:56 +0100] rev 55403
avoid duplicate 'case' definitions by first looking up 'Ctr_Sugar'
Wed, 12 Feb 2014 08:35:56 +0100 tuned code
blanchet [Wed, 12 Feb 2014 08:35:56 +0100] rev 55402
tuned code
Wed, 12 Feb 2014 08:35:56 +0100 more 'ctr_sugar' modernization
blanchet [Wed, 12 Feb 2014 08:35:56 +0100] rev 55401
more 'ctr_sugar' modernization
Wed, 12 Feb 2014 08:35:56 +0100 tuning
blanchet [Wed, 12 Feb 2014 08:35:56 +0100] rev 55400
tuning
Wed, 12 Feb 2014 08:35:56 +0100 ported predicate compiler to 'ctr_sugar'
blanchet [Wed, 12 Feb 2014 08:35:56 +0100] rev 55399
ported predicate compiler to 'ctr_sugar' * * * ported predicate compiler to 'ctr_sugar', part 2
Wed, 12 Feb 2014 08:35:56 +0100 updated docs
blanchet [Wed, 12 Feb 2014 08:35:56 +0100] rev 55398
updated docs
Wed, 12 Feb 2014 08:35:56 +0100 generate 'fundec_cong' attribute for new-style (co)datatypes
blanchet [Wed, 12 Feb 2014 08:35:56 +0100] rev 55397
generate 'fundec_cong' attribute for new-style (co)datatypes * * * compile
Wed, 12 Feb 2014 08:35:56 +0100 got rid of dynamic scoping the easy way
blanchet [Wed, 12 Feb 2014 08:35:56 +0100] rev 55396
got rid of dynamic scoping the easy way
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip