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