| Mon, 06 Oct 1997 18:40:24 +0200 | wenzelm | eliminated raise_term, raise_typ; | file | diff | annotate |
| Wed, 09 Jul 1997 16:54:17 +0200 | wenzelm | improved type checking errors; | file | diff | annotate |
| Fri, 18 Apr 1997 11:55:14 +0200 | wenzelm | tuned err msg; | file | diff | annotate |
| 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 |