| Tue, 07 Jan 1997 09:06:01 +0100 | wenzelm | added ISABELLE, ISATOOL; | changeset | files |
| Tue, 07 Jan 1997 09:05:26 +0100 | wenzelm | testdir: use dir without committing into database; | changeset | files |
| Tue, 07 Jan 1997 09:04:53 +0100 | wenzelm | added dvi viewer alternative; | changeset | files |
| Tue, 07 Jan 1997 09:03:53 +0100 | wenzelm | fixed cmp -s option; | changeset | files |
| Tue, 07 Jan 1997 09:01:52 +0100 | wenzelm | minor tuning; | changeset | files |
| Tue, 07 Jan 1997 09:01:18 +0100 | wenzelm | minor tuning; | changeset | files |
| Tue, 07 Jan 1997 09:00:26 +0100 | wenzelm | minor tuning; | changeset | files |