| Wed, 31 Dec 2014 14:05:06 +0100 |
wenzelm |
stripped ad-hoc diagnostic facility
|
changeset |
files
|
| Wed, 31 Dec 2014 11:27:26 +1100 |
kleing |
update map definition in Prog_Prove for new datatype package
|
changeset |
files
|
| Tue, 30 Dec 2014 23:45:03 +0100 |
wenzelm |
explicit message channel for "legacy", which is nonetheless a variant of "warning";
|
changeset |
files
|
| 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
|
| Sun, 28 Dec 2014 22:10:09 +0100 |
wenzelm |
back to full synchronization (cf. eb3e399f5b9f);
|
changeset |
files
|
| Sun, 28 Dec 2014 22:03:11 +0100 |
wenzelm |
proper sequential version;
|
changeset |
files
|
| Sun, 28 Dec 2014 21:34:45 +0100 |
wenzelm |
eliminated Document.execution frontier (again, see 627fb639a2d9): just run into older execution, potentially stalling worker thread, but without global delay due to long-running tasks (notably sledgehammer);
|
changeset |
files
|
| Sun, 28 Dec 2014 12:37:03 +0100 |
wenzelm |
modernized historic example;
|
changeset |
files
|