| Thu, 09 Apr 2015 22:56:31 +0200 | wenzelm | obsolete; | file | diff | annotate |
| Fri, 25 Jul 2014 16:50:49 +0200 | wenzelm | some reshuffling of Poly/ML version to evade failing tests; | file | diff | annotate |
| Mon, 21 Jul 2014 15:23:57 +0200 | kleing | ghc mac installation repaired; test back on. | file | diff | annotate |
| Sat, 19 Jul 2014 21:32:54 +0200 | kleing | attempt to run without ISABELLE_GHC setting again on mac-poly | file | diff | annotate |
| Tue, 15 Jul 2014 11:13:43 +0200 | kleing | add ISABELLE_GHC settings for isatest | file | diff | annotate |
| Mon, 16 Sep 2013 13:56:02 +0200 | wenzelm | explicit test of quick_and_dirty, which is rarely used in practice; | file | diff | annotate |