| Thu, 30 Mar 2000 14:20:42 +0200 |
wenzelm |
support polymorphic Vars;
|
file |
diff |
annotate
|
| Wed, 05 Jan 2000 11:37:44 +0100 |
wenzelm |
support for dummy variables (anyT, logicT);
|
file |
diff |
annotate
|
| Wed, 29 Sep 1999 13:52:01 +0200 |
wenzelm |
handle Sorts.DOMAIN;
|
file |
diff |
annotate
|
| 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
|