Sun, 11 Jan 2009 18:18:35 +0100 | wenzelm | added Goal.future_enabled abstraction -- now also checks that this is already | changeset | files |
Sun, 11 Jan 2009 17:34:02 +0100 | wenzelm | load main entry points sequentially, for reduced memory demands; | changeset | files |
Sun, 11 Jan 2009 16:56:59 +0100 | wenzelm | merged | changeset | files |