| Wed, 15 Mar 1995 10:53:58 +0100 | lcp | Now the "use" call has an exception handler, for prompt failure | changeset | files |
| Wed, 15 Mar 1995 10:34:47 +0100 | lcp | Now calls exit_use instead of use, for prompt failure if errors are detected. | changeset | files |
| Tue, 14 Mar 1995 10:40:04 +0100 | nipkow | Removed an old bug which made some simultaneous instantiations fail if they | changeset | files |
| Tue, 14 Mar 1995 09:47:28 +0100 | nipkow | added exit 1 | changeset | files |
| Mon, 13 Mar 1995 09:42:50 +0100 | nipkow | Removed superfluous type constraint | changeset | files |
| Mon, 13 Mar 1995 09:38:10 +0100 | nipkow | Changed treatment of during type inference internally generated type | changeset | files |