Fri, 18 Apr 1997 11:47:11 +0200 | paulson | Automatic update | changeset | files |
Thu, 17 Apr 1997 19:05:01 +0200 | wenzelm | tuned error msgs; | changeset | files |
Thu, 17 Apr 1997 18:46:58 +0200 | wenzelm | improved type check error messages; | changeset | files |