| Mon, 09 Jul 2012 23:23:12 +0200 | blanchet | first go at generating files for MaSh (machine-learning Sledgehammer) | changeset | files |
| Mon, 09 Jul 2012 21:08:40 +0200 | krauss | abandoned import of isatest reports into (old version of) mira -- unstable, and not worth the maintenance effort | changeset | files |
| Mon, 09 Jul 2012 09:28:26 +1000 | Gerwin Klein | make sure var/running dir exists for isatest | changeset | files |