| Mon, 24 Aug 1998 19:11:13 +0200 | wenzelm | emacs local vars; | changeset | files |
| Mon, 24 Aug 1998 18:58:12 +0200 | wenzelm | added nonterminals, setup; | changeset | files |
| Mon, 24 Aug 1998 18:17:25 +0200 | wenzelm | added Antiquote example; | changeset | files |
| Mon, 24 Aug 1998 17:16:49 +0200 | wenzelm | mkdir -p; | changeset | files |
| Mon, 24 Aug 1998 17:13:58 +0200 | wenzelm | emacs local vars; | changeset | files |
| Mon, 24 Aug 1998 17:13:26 +0200 | wenzelm | SYNC; | changeset | files |
| Mon, 24 Aug 1998 17:13:11 +0200 | wenzelm | emacs local vars; | changeset | files |
| Mon, 24 Aug 1998 15:52:39 +0200 | wenzelm | isatool install; | changeset | files |
| Mon, 24 Aug 1998 15:49:53 +0200 | wenzelm | install binaries with absolute references to ISABELLE_HOME/bin; | changeset | files |
| Mon, 24 Aug 1998 14:02:40 +0200 | oheimb | debugged split_eta_proc | changeset | files |
| Fri, 21 Aug 1998 17:49:21 +0200 | paulson | tidied | changeset | files |
| Fri, 21 Aug 1998 16:14:34 +0200 | paulson | Tidying | changeset | files |
| Fri, 21 Aug 1998 15:56:12 +0200 | paulson | New UNITY files | changeset | files |
| Thu, 20 Aug 1998 17:43:01 +0200 | paulson | New theory Lift | changeset | files |
| Thu, 20 Aug 1998 16:58:28 +0200 | paulson | new theorems | changeset | files |
| Thu, 20 Aug 1998 16:49:47 +0200 | paulson | tidied | changeset | files |