| Sun, 03 Nov 2013 18:12:23 +0100 | wenzelm | more on text completion; | changeset | files |
| Sun, 03 Nov 2013 16:49:52 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 03 Nov 2013 16:37:54 +0100 | wenzelm | more on Monitor panel; | changeset | files |
| Sun, 03 Nov 2013 16:22:57 +0100 | wenzelm | more on Timing; | changeset | files |
| Fri, 01 Nov 2013 17:26:47 +0100 | wenzelm | more on miscellaneous tools; | changeset | files |
| Thu, 31 Oct 2013 17:37:08 +0100 | wenzelm | more screenshots; | changeset | files |
| Thu, 31 Oct 2013 17:13:39 +0100 | wenzelm | more screenshots; | changeset | files |
| Thu, 31 Oct 2013 16:47:36 +0100 | wenzelm | more on Sledgehammer; | changeset | files |
| Thu, 31 Oct 2013 16:10:35 +0100 | wenzelm | more on automatically tried tools; | changeset | files |
| Wed, 30 Oct 2013 21:23:47 +0100 | wenzelm | more on prover output; | changeset | files |
| Wed, 30 Oct 2013 18:47:09 +0100 | wenzelm | misc tuning and clarification; | changeset | files |
| Wed, 30 Oct 2013 17:05:23 +0100 | wenzelm | more on file-system access; | changeset | files |
| Tue, 29 Oct 2013 21:00:37 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 29 Oct 2013 19:45:55 +0100 | wenzelm | more on problems and workarounds; | changeset | files |