Sun, 09 May 2010 13:39:05 +0200 removed unused "option" variants of "same" operations;
wenzelm [Sun, 09 May 2010 13:39:05 +0200] rev 36765
removed unused "option" variants of "same" operations;
Sun, 09 May 2010 13:18:13 +0200 more basic replacement of newlines;
wenzelm [Sun, 09 May 2010 13:18:13 +0200] rev 36764
more basic replacement of newlines;
Sun, 09 May 2010 13:12:22 +0200 static Symbol.spaces;
wenzelm [Sun, 09 May 2010 13:12:22 +0200] rev 36763
static Symbol.spaces;
Sat, 08 May 2010 21:25:25 +0200 proper use of var stopped;
wenzelm [Sat, 08 May 2010 21:25:25 +0200] rev 36762
proper use of var stopped;
Sat, 08 May 2010 21:17:42 +0200 removed junk;
wenzelm [Sat, 08 May 2010 21:17:42 +0200] rev 36761
removed junk;
Sat, 08 May 2010 21:08:30 +0200 tuned headers;
wenzelm [Sat, 08 May 2010 21:08:30 +0200] rev 36760
tuned headers;
Sat, 08 May 2010 20:58:02 +0200 tuned;
wenzelm [Sat, 08 May 2010 20:58:02 +0200] rev 36759
tuned;
Sat, 08 May 2010 20:14:11 +0200 merged
wenzelm [Sat, 08 May 2010 20:14:11 +0200] rev 36758
merged
Sat, 08 May 2010 20:01:28 +0200 merged
haftmann [Sat, 08 May 2010 20:01:28 +0200] rev 36757
merged
Sat, 08 May 2010 18:52:38 +0200 moved normalization proof tool infrastructure to canonical algebraic classes
haftmann [Sat, 08 May 2010 18:52:38 +0200] rev 36756
moved normalization proof tool infrastructure to canonical algebraic classes
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip