| 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 |
| Thu, 24 Mar 2011 23:14:49 +0100 | krauss | parameterize configurations by custom settings | changeset | files |