| Tue, 25 Jan 2011 21:26:25 +0100 | wenzelm | singleton (sequential) execution, to avoid race conditions in theory loader state (e.g. when multiple independent theories import the same theory); | changeset | files |
| Tue, 25 Jan 2011 20:06:32 +0100 | wenzelm | workaround for odd x86_64 problem in Poly/ML 5.4.0 (actually SVN 1151?), which causes unexpected nontermination of Isabelle/Scala document editing; | changeset | files |
| Mon, 24 Jan 2011 21:30:33 +0100 | wenzelm | improved README -- Isabelle symbols and fonts; | changeset | files |