| Mon, 22 Feb 1999 10:16:59 +0100 | paulson | added rev_bexI | changeset | files |
| Thu, 18 Feb 1999 12:15:55 +0100 | wenzelm | fixed order of multiple -m options; | changeset | files |
| Thu, 18 Feb 1999 12:05:16 +0100 | grobauer | fixed geometry; | changeset | files |
| Tue, 16 Feb 1999 10:54:55 +0100 | paulson | tidying in conjuntion with the TISSEC paper; replaced (unit option) | changeset | files |