Mon, 06 Jun 2005 10:21:53 +0200 wenzelm avoid polymorphic ins;
Mon, 06 Jun 2005 09:28:28 +0200 kleing fixed
Mon, 06 Jun 2005 08:18:43 +0200 haftmann added sunbroy2
Sun, 05 Jun 2005 23:07:29 +0200 wenzelm renamed const_deps to defs;
Sun, 05 Jun 2005 23:07:28 +0200 wenzelm renamed const_deps to defs;
Sun, 05 Jun 2005 23:07:27 +0200 wenzelm added Type.freeze(_type);
Sun, 05 Jun 2005 23:07:26 +0200 wenzelm added the_const_type;
(0) -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip