| Mon, 29 Dec 2014 14:57:13 +0100 | boehmes | limit reconstruction time of Z3 proof steps to be able to detect long-running reconstruction steps | changeset | files |
| Wed, 31 Dec 2014 21:45:30 +0100 | wenzelm | converse graph according to Graph_Display; | changeset | files |
| Wed, 31 Dec 2014 20:55:11 +0100 | wenzelm | eliminated TTY/PG legacy; | changeset | files |