| 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 |