Tue, 07 Mar 1995 13:15:25 +0100 | lcp | Moved declaration of ~= to a syntax section | changeset | files |
Fri, 03 Mar 1995 12:48:06 +0100 | clasohm | replaced Pure by ProtoPure | changeset | files |
Fri, 03 Mar 1995 12:34:57 +0100 | clasohm | fixed a bug in infer_types/exn_type_msg | changeset | files |