| Fri, 21 Feb 1997 15:14:16 +0100 | wenzelm | don't hack, use xfed or xfedor; | changeset | files |
| Fri, 21 Feb 1997 11:18:33 +0100 | wenzelm | fixed Id comment; | changeset | files |
| Thu, 20 Feb 1997 17:02:42 +0100 | wenzelm | makedist -- make Isabelle distribution. | changeset | files |
| Thu, 20 Feb 1997 16:45:47 +0100 | wenzelm | tuned URL; | changeset | files |
| Thu, 20 Feb 1997 16:09:41 +0100 | wenzelm | added index info; | changeset | files |
| Thu, 20 Feb 1997 15:53:08 +0100 | wenzelm | index info; | changeset | files |
| 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 |
| Thu, 20 Feb 1997 15:18:43 +0100 | wenzelm | fixed rail.sty dep; | changeset | files |
| Thu, 20 Feb 1997 15:15:17 +0100 | wenzelm | added this file; | changeset | files |
| Thu, 20 Feb 1997 15:13:52 +0100 | wenzelm | rail output; | changeset | files |
| Thu, 20 Feb 1997 14:59:02 +0100 | wenzelm | made a bit more robust; | changeset | files |
| Mon, 17 Feb 1997 18:12:03 +0100 | wenzelm | manual steps comment; | changeset | files |