| 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
|
| Sun, 28 Dec 2014 12:18:01 +0100 |
wenzelm |
more thorough Lazy.is_finished;
|
changeset |
files
|
| Sun, 28 Dec 2014 15:42:34 +1100 |
kleing |
3 old example lemmas by Amine listed in the top 100 theorems
|
changeset |
files
|
| Sat, 27 Dec 2014 20:32:06 +0100 |
wenzelm |
update_cartouches;
|
changeset |
files
|
| Sat, 27 Dec 2014 19:51:55 +0100 |
wenzelm |
memo_fork without locking, to avoid rare deadlock in Event_Timer.request due to execution overrun;
|
changeset |
files
|
| Wed, 24 Dec 2014 10:06:37 +0100 |
haftmann |
typos
|
changeset |
files
|
| Tue, 23 Dec 2014 21:14:44 +0100 |
wenzelm |
unused;
|
changeset |
files
|
| Tue, 23 Dec 2014 21:04:53 +0100 |
wenzelm |
tuned message;
|
changeset |
files
|
| Tue, 23 Dec 2014 20:46:42 +0100 |
wenzelm |
explicit message channels for "state", "information";
|
changeset |
files
|
| Tue, 23 Dec 2014 16:00:38 +0100 |
wenzelm |
imitate font more carefully: err on smaller size;
|
changeset |
files
|