| Fri, 25 Mar 2011 22:17:32 +0100 | krauss | fixed incomplete rename (1cdf54e845fa) | file | diff | annotate |
| Thu, 24 Mar 2011 23:42:06 +0100 | krauss | added configurations SML_HOL and SML_makeall (even though the latter is practically infeasible) | file | diff | annotate |
| Thu, 24 Mar 2011 23:35:49 +0100 | krauss | mira interface to 'isabelle make' in addition to usedir and makeall; | file | diff | annotate |
| Thu, 24 Mar 2011 23:28:07 +0100 | krauss | clarified | file | diff | annotate |
| Thu, 24 Mar 2011 23:14:49 +0100 | krauss | parameterize configurations by custom settings | file | diff | annotate |
| Thu, 24 Mar 2011 22:12:38 +0100 | krauss | enable Z3 in the test configuration | file | diff | annotate |