| Thu, 10 Jan 2013 15:45:27 +0100 | wenzelm | prefer system build mode in main application wrappers, to produce heaps insided distribution directory; | changeset | files |
| Thu, 10 Jan 2013 14:40:19 +0100 | wenzelm | tuned proofs; | changeset | files |
| Thu, 10 Jan 2013 13:15:05 +0100 | wenzelm | dock "Theories" right, although it might obscure some control buttons; | changeset | files |