| Thu, 20 Feb 1997 15:52:53 +0100 | wenzelm | added dist; | changeset | files |
| Thu, 20 Feb 1997 15:28:18 +0100 | wenzelm | some administrative tools for the Isabelle; | changeset | files |
| Thu, 20 Feb 1997 15:26:38 +0100 | wenzelm | made a bit more robust for 'make dist'; | changeset | files |
| Thu, 20 Feb 1997 15:24:03 +0100 | wenzelm | rail output; | changeset | files |