kleing [Sun, 06 Apr 2003 21:14:02 +0200] rev 13900
run on sunbroy1, too
nipkow [Sun, 06 Apr 2003 10:08:52 +0200] rev 13899
*** empty log message ***
nipkow [Sat, 05 Apr 2003 22:14:04 +0200] rev 13898
Map.empty is now a translation
kleing [Sat, 05 Apr 2003 17:25:06 +0200] rev 13897
cleanup, mark old (<1994) deleted files as dead
kleing [Sat, 05 Apr 2003 17:03:38 +0200] rev 13896
cleanup, mark old (<1994) deleted files as dead
kleing [Sat, 05 Apr 2003 16:24:20 +0200] rev 13895
cleanup, mark old (<1994) deleted files as dead
kleing [Sat, 05 Apr 2003 16:18:58 +0200] rev 13894
cleanup, mark old (<1994) deleted files as dead
kleing [Sat, 05 Apr 2003 16:00:00 +0200] rev 13893
removed since 1994 or earlier
berghofe [Fri, 04 Apr 2003 17:01:12 +0200] rev 13892
Fixed bug in eta_long.
berghofe [Fri, 04 Apr 2003 17:00:25 +0200] rev 13891
type_of_G now applies type substitution before decomposing type.