| Sat, 08 Dec 2007 21:20:07 +0100 | wenzelm | Isar loop: recover after toplevel crashes; | changeset | files |
| Sat, 08 Dec 2007 21:20:06 +0100 | wenzelm | secure_main: enforces terminator, to gain robustness; | changeset | files |
| Sat, 08 Dec 2007 21:20:05 +0100 | wenzelm | text_of: make double sure that result is well-formed, to avoid recurrent failures; | changeset | files |
| Sat, 08 Dec 2007 21:14:51 +0100 | wenzelm | ML_OPTIONS="-H 1000" -- potentially works around GC core dump; | changeset | files |
| Fri, 07 Dec 2007 22:19:53 +0100 | wenzelm | added off-line parse; | changeset | files |
| Fri, 07 Dec 2007 22:19:51 +0100 | wenzelm | (alt)string: allow explicit character codes (as in ML); | changeset | files |
| Fri, 07 Dec 2007 22:19:49 +0100 | wenzelm | added nested 'Isabelle.command'; | changeset | files |