| Wed, 18 Dec 1996 13:31:47 +0100 | oheimb | little improvement for the handling of sort constraints: | changeset | files |
| Wed, 18 Dec 1996 12:47:28 +0100 | wenzelm | Isabelle make utility; | changeset | files |
| Wed, 18 Dec 1996 12:46:59 +0100 | wenzelm | added ISABELLE_HTML; | changeset | files |
| Wed, 18 Dec 1996 12:46:34 +0100 | wenzelm | added ISABELLE_HTML; | changeset | files |
| Wed, 18 Dec 1996 12:45:54 +0100 | wenzelm | improved usage msg; | changeset | files |
| Wed, 18 Dec 1996 12:42:53 +0100 | wenzelm | IsaMakefile for FOL; | changeset | files |
| Wed, 18 Dec 1996 12:42:20 +0100 | wenzelm | minor modifications to accomodate IsaMakefile; | changeset | files |