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 |
Wed, 27 Mar 2013 21:07:10 +0100 | wenzelm | separate isatest with skip_proofs, to give some impression of performance without most of the proofs; | file | diff | annotate |