| 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 |