Tue, 10 Jul 2007 09:23:16 +0200 re-expanded paths
haftmann [Tue, 10 Jul 2007 09:23:16 +0200] rev 23690
re-expanded paths
Tue, 10 Jul 2007 09:23:15 +0200 replaced code generator framework for reflected cooper
haftmann [Tue, 10 Jul 2007 09:23:15 +0200] rev 23689
replaced code generator framework for reflected cooper
Tue, 10 Jul 2007 09:23:14 +0200 expanded fragile proof
haftmann [Tue, 10 Jul 2007 09:23:14 +0200] rev 23688
expanded fragile proof
Tue, 10 Jul 2007 09:23:13 +0200 extended - convers now basic lcm properties also
haftmann [Tue, 10 Jul 2007 09:23:13 +0200] rev 23687
extended - convers now basic lcm properties also
Tue, 10 Jul 2007 09:23:12 +0200 constant dvd now in class target
haftmann [Tue, 10 Jul 2007 09:23:12 +0200] rev 23686
constant dvd now in class target
Tue, 10 Jul 2007 09:23:11 +0200 moved lemma zdvd_period here
haftmann [Tue, 10 Jul 2007 09:23:11 +0200] rev 23685
moved lemma zdvd_period here
Tue, 10 Jul 2007 09:23:10 +0200 introduced (auxiliary) class dvd_mod for more convenient code generation
haftmann [Tue, 10 Jul 2007 09:23:10 +0200] rev 23684
introduced (auxiliary) class dvd_mod for more convenient code generation
Tue, 10 Jul 2007 00:43:51 +0200 tuned;
wenzelm [Tue, 10 Jul 2007 00:43:51 +0200] rev 23683
tuned;
Tue, 10 Jul 2007 00:17:52 +0200 nested source: explicit interactive flag for recover avoids duplicate errors;
wenzelm [Tue, 10 Jul 2007 00:17:52 +0200] rev 23682
nested source: explicit interactive flag for recover avoids duplicate errors;
Mon, 09 Jul 2007 23:12:51 +0200 tuned dead code;
wenzelm [Mon, 09 Jul 2007 23:12:51 +0200] rev 23681
tuned dead code;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip