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 |