| Tue, 29 Dec 2009 20:30:40 +0100 | wenzelm | removed slightly odd Isar_Document.init; | changeset | files |
| Tue, 29 Dec 2009 16:20:39 +0100 | wenzelm | explicit session HOL-Proofs -- avoid statefulness of main HOL image wrt. HOL_proofs etc.; | changeset | files |
| Mon, 28 Dec 2009 23:34:36 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 28 Dec 2009 22:58:25 +0100 | wenzelm | crude Cygwin.setup; | changeset | files |
| Mon, 28 Dec 2009 22:57:37 +0100 | wenzelm | ignore undefined environment; | changeset | files |
| Mon, 28 Dec 2009 22:03:14 +0100 | wenzelm | separate Standard_System (Cygwin/Posix compatibility) vs. Isabelle_System (settings environment etc.); | changeset | files |
| Mon, 28 Dec 2009 20:24:09 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 28 Dec 2009 20:01:43 +0100 | wenzelm | system shutdown hook: strict kill; | changeset | files |