Fri, 25 Mar 2011 16:03:49 +0100 | bulwahn | changing iteration scheme of functions to use minimal number of function updates for exhaustive testing | changeset | files |
Thu, 24 Mar 2011 23:42:06 +0100 | krauss | added configurations SML_HOL and SML_makeall (even though the latter is practically infeasible) | changeset | files |
Thu, 24 Mar 2011 23:35:49 +0100 | krauss | mira interface to 'isabelle make' in addition to usedir and makeall; | changeset | files |