| Fri, 09 Oct 1998 15:28:04 +0200 | nipkow | Unified treatment of type error msgs. | file | diff | annotate |
| Fri, 09 Oct 1998 14:36:48 +0200 | nipkow | More pretty breaks in error msgs. | file | diff | annotate |
| Mon, 25 May 1998 21:11:46 +0200 | wenzelm | remove seq2, scan (use seq2, foldl_map from library.ML); | file | diff | annotate |
| 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 |