Wed, 23 Apr 2014 10:23:26 +0200 invoke 'fp_sugar' interpretation hook on mutually recursive clique
blanchet [Wed, 23 Apr 2014 10:23:26 +0200] rev 56637
invoke 'fp_sugar' interpretation hook on mutually recursive clique
Wed, 23 Apr 2014 10:23:26 +0200 declare 'bool' and its proxies as a datatype for SPASS-Pirate
blanchet [Wed, 23 Apr 2014 10:23:26 +0200] rev 56636
declare 'bool' and its proxies as a datatype for SPASS-Pirate
Wed, 23 Apr 2014 10:23:26 +0200 added 'inj_map' as auxiliary BNF theorem
blanchet [Wed, 23 Apr 2014 10:23:26 +0200] rev 56635
added 'inj_map' as auxiliary BNF theorem
Wed, 23 Apr 2014 10:23:26 +0200 tuned whitespace
blanchet [Wed, 23 Apr 2014 10:23:26 +0200] rev 56634
tuned whitespace
Wed, 23 Apr 2014 09:32:00 +0200 remove add_eq_zero_iff, it is replaced by add_nonneg_eq_0_iff; also removes it from the simpset
hoelzl [Wed, 23 Apr 2014 09:32:00 +0200] rev 56633
remove add_eq_zero_iff, it is replaced by add_nonneg_eq_0_iff; also removes it from the simpset
Tue, 22 Apr 2014 12:41:34 +0200 favorites for jEdit file browser, although an expanded directory path is expected here, not environment variables;
wenzelm [Tue, 22 Apr 2014 12:41:34 +0200] rev 56632
favorites for jEdit file browser, although an expanded directory path is expected here, not environment variables;
Tue, 22 Apr 2014 12:30:54 +0200 tuned;
wenzelm [Tue, 22 Apr 2014 12:30:54 +0200] rev 56631
tuned;
Tue, 22 Apr 2014 12:05:02 +0200 clarified exit code for the rare situation where Runtime.exn_error_message might fail;
wenzelm [Tue, 22 Apr 2014 12:05:02 +0200] rev 56630
clarified exit code for the rare situation where Runtime.exn_error_message might fail;
Tue, 22 Apr 2014 12:03:58 +0200 tuned;
wenzelm [Tue, 22 Apr 2014 12:03:58 +0200] rev 56629
tuned;
Tue, 22 Apr 2014 11:53:05 +0200 tuned -- avoid warning about catch-all handler;
wenzelm [Tue, 22 Apr 2014 11:53:05 +0200] rev 56628
tuned -- avoid warning about catch-all handler;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip