| Sat, 14 Feb 2004 02:06:12 +0100 | nipkow | Removed dangling exception handler | changeset | files |
| Thu, 12 Feb 2004 00:28:23 +0100 | nipkow | Missing } inserted | changeset | files |
| Wed, 11 Feb 2004 17:39:00 +0100 | berghofe | Removed "duplicate fact binding" error message. | changeset | files |
| Wed, 11 Feb 2004 17:38:21 +0100 | berghofe | Printing functions now use cond_extrn instead of extrn | changeset | files |
| Wed, 11 Feb 2004 17:36:08 +0100 | berghofe | Added flag short_names | changeset | files |
| Wed, 11 Feb 2004 01:26:15 +0100 | nipkow | Modified UN and INT xsymbol syntax: made index subscript | changeset | files |
| Wed, 11 Feb 2004 00:37:18 +0100 | nipkow | *** empty log message *** | changeset | files |