| Sat, 21 Nov 2015 20:57:24 +0100 | wenzelm | tuned proofs; | changeset | files |
| Sat, 21 Nov 2015 20:19:20 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 21 Nov 2015 20:13:52 +0100 | wenzelm | double flush to ensure persistent "state" output is reset; | changeset | files |
| Sat, 21 Nov 2015 20:12:36 +0100 | wenzelm | reverted 2abbe7d700e9: "state" output is not necessarily proof state; | changeset | files |
| Sat, 21 Nov 2015 19:38:14 +0100 | wenzelm | clarified default (again) in accordance to with Output dockable, despite more CPU resources requirements; | changeset | files |
| Sat, 21 Nov 2015 19:27:06 +0100 | wenzelm | more thorough update of options; | changeset | files |
| Sat, 21 Nov 2015 19:04:39 +0100 | wenzelm | limit statistics, to avoid exhaustion of heap space or GUI time; | changeset | files |