| 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 |
| Wed, 06 Jul 2011 17:56:58 +0200 | krauss | removed unused mira configuration | file | diff | annotate |
| Thu, 09 Jun 2011 11:57:39 +0200 | bulwahn | adding ISABELLE_GHC environment setting to mira configuration isabelle makeall all on lxbroy10 | file | diff | annotate |