Wed, 08 Mar 2000 17:36:54 +0100 | wenzelm | * isatool mkdir provides easy setup of Isabelle session directories, | changeset | files |
Wed, 08 Mar 2000 17:35:08 +0100 | wenzelm | tuned error msg: rows counted from 1; | changeset | files |
Wed, 08 Mar 2000 16:24:46 +0100 | paulson | tidied | changeset | files |