Tue, 06 Sep 2005 16:59:59 +0200 wenzelm deprecated old-style infix declarations, which mix name and syntax;
Tue, 06 Sep 2005 16:59:58 +0200 wenzelm tuned msg;
Tue, 06 Sep 2005 16:59:57 +0200 wenzelm AList.defined;
Tue, 06 Sep 2005 16:59:56 +0200 wenzelm name space prefix is now "c_class" instead of just "c";
Tue, 06 Sep 2005 16:59:55 +0200 wenzelm proper treatment of polymorphic sets;
Tue, 06 Sep 2005 16:59:54 +0200 wenzelm tuned comments;
(0) -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip