| Sat, 26 Mar 2011 00:23:20 +0100 | krauss | SML_makeall: run with -j 3 | changeset | files |
| Fri, 25 Mar 2011 22:17:32 +0100 | krauss | fixed incomplete rename (1cdf54e845fa) | changeset | files |
| Fri, 25 Mar 2011 21:38:41 +0100 | krauss | eliminated hardwired MUTABELLE_OUTPUT_PATH (cf. 6a147393c62a) | changeset | files |
| Fri, 25 Mar 2011 17:09:21 +0100 | bulwahn | merged | changeset | files |
| 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 |
| Thu, 24 Mar 2011 23:28:07 +0100 | krauss | clarified | changeset | files |