| Mon, 04 Dec 2000 23:21:35 +0100 | wenzelm | added \isabeginpar, \isaendpar; | changeset | files |
| Mon, 04 Dec 2000 23:21:09 +0100 | wenzelm | proper order of modes; | changeset | files |
| Mon, 04 Dec 2000 23:20:37 +0100 | wenzelm | diagnostic commands: comment; | changeset | files |
| Mon, 04 Dec 2000 23:18:24 +0100 | wenzelm | export get_skolem; | changeset | files |