| 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 |
| Thu, 28 Sep 2000 14:35:42 +0200 | wenzelm | ./build -b -m Pure-copied Pure; | changeset | files |
| Thu, 28 Sep 2000 14:35:23 +0200 | wenzelm | only run quick_and_dirty version by default; | changeset | files |