Fri, 02 Apr 2010 13:33:48 +0200 | ballarin | Proper inheritance of mixins for activated facts and locale dependencies. | changeset | files |
Mon, 15 Feb 2010 19:54:54 +0100 | ballarin | Removed obsolete function. | changeset | files |
Mon, 15 Feb 2010 01:34:08 +0100 | ballarin | Graceful treatment of non-locale subgoals by methods unfold_locales and intro_locales. | changeset | files |