| 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 |