| Thu, 10 Jan 2013 17:53:15 +0100 | wenzelm | more systematic makedist_cygwin; | changeset | files |
| 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 |