| Tue, 29 Dec 2009 20:59:47 +0100 | wenzelm | back to Unsynchronized.ref, with some attempts to make the main operations actually thread-safe; | changeset | files |
| 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 |