desharna [Mon, 06 Oct 2014 13:33:36 +0200] rev 58565
add 'set_thms' to 'fp_sugar'
desharna [Mon, 06 Oct 2014 13:33:24 +0200] rev 58564
add 'rel_cases' to 'fp_sugar'
desharna [Mon, 06 Oct 2014 13:33:15 +0200] rev 58563
add 'rel_intros' to 'fp_sugar'
desharna [Mon, 06 Oct 2014 13:33:04 +0200] rev 58562
add 'rel_sels' to 'fp_sugar'
desharna [Mon, 06 Oct 2014 13:32:53 +0200] rev 58561
add 'map_sels' to 'fp_sugar'
desharna [Mon, 06 Oct 2014 13:32:41 +0200] rev 58560
add 'map_disc_iffs' to 'fp_sugar'
haftmann [Sun, 05 Oct 2014 20:30:58 +0200] rev 58559
code preprocessor tracing also for function transformers
haftmann [Sun, 05 Oct 2014 20:30:57 +0200] rev 58558
basic support for fully static evaluator generation without dynamic compiler invocation
haftmann [Sun, 05 Oct 2014 20:30:56 +0200] rev 58557
split dynamic from static context
wenzelm [Sun, 05 Oct 2014 23:09:27 +0200] rev 58556
more refs;