| 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 |