| Tue, 30 Dec 2014 14:11:06 +0100 | wenzelm | clarified source location; | changeset | files |
| Tue, 30 Dec 2014 11:50:34 +0100 | wenzelm | added system property isabelle.laf, notably for initial system dialog; | changeset | files |
| Tue, 30 Dec 2014 10:38:10 +0100 | wenzelm | NEWS; | changeset | files |
| Mon, 29 Dec 2014 21:02:49 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 29 Dec 2014 20:51:42 +0100 | wenzelm | clarified execution graph traversal: stable imports are required to proceed, e.g. relevant to avoid crash of init_theory after discontinued execution; | changeset | files |
| Mon, 29 Dec 2014 19:17:24 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Mon, 29 Dec 2014 15:38:59 +0100 | wenzelm | more toplevel pretty printing; | changeset | files |