| Thu, 28 Sep 2000 14:48:05 +0200 | wenzelm | isabelle -C; | changeset | files |
| Thu, 28 Sep 2000 14:47:42 +0200 | wenzelm | www.proofgeneral.org; | changeset | files |
| Thu, 28 Sep 2000 14:42:21 +0200 | wenzelm | fixed \<Union>, \<Inter> syntax; | changeset | files |
| Thu, 28 Sep 2000 14:41:48 +0200 | wenzelm | added COPYDB argument; | changeset | files |
| Thu, 28 Sep 2000 14:40:38 +0200 | wenzelm | option -C; | changeset | files |
| Thu, 28 Sep 2000 14:36:20 +0200 | wenzelm | Isabelle99-1 (October 2000); | changeset | files |
| Thu, 28 Sep 2000 14:36:02 +0200 | wenzelm | support copy option; | changeset | files |