Wed, 18 Dec 1996 12:42:20 +0100 | wenzelm | minor modifications to accomodate IsaMakefile; | changeset | files |
Wed, 18 Dec 1996 12:41:48 +0100 | wenzelm | IsaMakefile for Pure Isabelle; | changeset | files |
Tue, 17 Dec 1996 12:53:14 +0100 | wenzelm | now refers to absolute paths of binaries; | changeset | files |