| Wed, 05 Dec 2007 04:27:37 +0100 | kleing | make at64 non-experimental | changeset | files |
| Tue, 04 Dec 2007 22:49:45 +0100 | wenzelm | Isabelle process wrapper -- interaction via external program. | changeset | files |
| Tue, 04 Dec 2007 22:49:28 +0100 | wenzelm | Toplevel.loop: explicit argument for secure loop, no warning on quit; | changeset | files |
| Tue, 04 Dec 2007 22:49:27 +0100 | wenzelm | added Isar.secure_main; | changeset | files |