| Thu, 17 Apr 1997 19:05:01 +0200 | wenzelm | tuned error msgs; | file | diff | annotate |
| Thu, 17 Apr 1997 18:46:58 +0200 | wenzelm | improved type check error messages; | file | diff | annotate |
| Wed, 16 Apr 1997 18:15:32 +0200 | wenzelm | Type inference (isolated from type.ML, completely reimplemented). | file | diff | annotate |