Wed, 05 May 1999 18:48:02 +0200 | wenzelm | manual.bib; | changeset | files |
Wed, 05 May 1999 18:47:37 +0200 | wenzelm | no rail; | changeset | files |
Wed, 05 May 1999 18:41:31 +0200 | wenzelm | fixed FILES; | changeset | files |
Wed, 05 May 1999 18:35:41 +0200 | wenzelm | improved Makefile; | changeset | files |
Wed, 05 May 1999 18:26:10 +0200 | wenzelm | improved Makefile; | changeset | files |
Wed, 05 May 1999 18:24:57 +0200 | wenzelm | isabelle.eps; | changeset | files |