| Fri, 14 Dec 2007 17:57:39 +0100 | wenzelm | nested commands: avoid nested errors; | changeset | files |
| Fri, 14 Dec 2007 17:56:08 +0100 | wenzelm | added close_witness; | changeset | files |
| Thu, 13 Dec 2007 22:35:45 +0100 | kleing | removed syntax in locale left_commutative | changeset | files |