| Tue, 18 Oct 2011 11:59:03 +0200 | krauss | mira: collect size of heap images | file | diff | annotate |
| Sun, 16 Oct 2011 21:49:47 +0200 | krauss | mira configuration: use official polyml 5.4.1 on lxbroy10 | file | diff | annotate |
| Tue, 19 Jul 2011 11:15:38 +0200 | krauss | the HOL4PROOFS setting is actually HOL4_PROOFS | file | diff | annotate |
| Tue, 19 Jul 2011 00:16:18 +0200 | krauss | forgotten qualifier | file | diff | annotate |
| Mon, 18 Jul 2011 23:35:50 +0200 | krauss | added experimental mira configuration for HOL Light importer | file | diff | annotate |
| Wed, 06 Jul 2011 17:58:03 +0200 | krauss | 64bit versions of some mira configurations | file | diff | annotate |