Mon, 31 May 1999 19:08:26 +0200 | wenzelm | Isabelle manuals now also available as PDF; | changeset | files |
Fri, 28 May 1999 18:20:58 +0200 | wenzelm | move pdfs back into dist; | changeset | files |
Fri, 28 May 1999 18:00:53 +0200 | wenzelm | pdf docs; | changeset | files |