Wed, 14 Apr 2010 22:13:28 +0200 | wenzelm | merged | changeset | files |
Wed, 14 Apr 2010 21:22:48 +0200 | blanchet | merged | changeset | files |
Wed, 14 Apr 2010 21:22:13 +0200 | blanchet | added "overlord" option (to get easy access to output files for debugging) + systematically use "raw_goal" rather than an inconsistent mixture | changeset | files |