| Wed, 16 Feb 2000 15:04:12 +0100 | wenzelm | Syntax translation functions; | changeset | files |
| Wed, 16 Feb 2000 10:51:23 +0100 | paulson | fixed some overfull lines | changeset | files |
| Wed, 16 Feb 2000 10:50:57 +0100 | paulson | a smaller point size reduces the number of overfull figures | changeset | files |
| Tue, 15 Feb 2000 21:02:55 +0100 | kleing | cosmetics | changeset | files |
| Tue, 15 Feb 2000 19:41:44 +0100 | wenzelm | fixed sel_upd simproc (less efficient, but more complete); | changeset | files |
| Tue, 15 Feb 2000 17:51:11 +0100 | kleing | lightweight bytecode verifier with correctness proof | changeset | files |
| Mon, 14 Feb 2000 20:49:08 +0100 | wenzelm | basic source deps; | changeset | files |
| Mon, 14 Feb 2000 20:43:12 +0100 | wenzelm | easy_setup: fixed mksimps; | changeset | files |
| Mon, 14 Feb 2000 20:42:02 +0100 | wenzelm | proof step: reset goal_facts; | changeset | files |
| Mon, 14 Feb 2000 12:23:08 +0100 | wenzelm | mkdir -p $ISABELLE_BROWSER_INFO; | changeset | files |
| Mon, 14 Feb 2000 11:23:57 +0100 | wenzelm | fixed prefer; | changeset | files |
| Mon, 14 Feb 2000 11:23:44 +0100 | wenzelm | tuned msg; | changeset | files |
| Sun, 13 Feb 2000 21:01:26 +0100 | wenzelm | added refine_end; | changeset | files |
| Sun, 13 Feb 2000 21:00:02 +0100 | wenzelm | tuned attrib; | changeset | files |
| Sun, 13 Feb 2000 20:58:13 +0100 | wenzelm | apply: observe facts; | changeset | files |
| Sun, 13 Feb 2000 20:56:55 +0100 | wenzelm | prf_script commands made proper; | changeset | files |