Thu, 02 Feb 2006 16:37:10 +0100 | wenzelm | tuned; | changeset | files |
Thu, 02 Feb 2006 16:31:38 +0100 | wenzelm | consumes: negative argument relative to total number of prems; | changeset | files |
Thu, 02 Feb 2006 16:31:37 +0100 | wenzelm | added refine_insert; | changeset | files |