| Sat, 15 Dec 2007 17:53:33 +0100 | wenzelm | class Result: replaced FAILURE by SYSTEM (internal notification); | changeset | files |
| Sat, 15 Dec 2007 17:53:32 +0100 | wenzelm | non-ML session: run with 'nice', to prevent isabelle process from flooding interactive front-ends (ProofGeneral/XEmacs etc.) | changeset | files |
| Sat, 15 Dec 2007 14:52:55 +0100 | wenzelm | recover: not skip over "`"; | changeset | files |
| Sat, 15 Dec 2007 14:35:50 +0100 | wenzelm | package isabelle; | changeset | files |
| Sat, 15 Dec 2007 13:08:33 +0100 | wenzelm | text_of: made even more robust against recurrent errors; | changeset | files |
| Sat, 15 Dec 2007 13:08:32 +0100 | wenzelm | added separate_chars; | changeset | files |
| Sat, 15 Dec 2007 13:08:31 +0100 | wenzelm | removed unused escape_malformed; | changeset | files |