| 2012-07-31 | wenzelm | updated isatest settings for isabelle build; | file | diff | annotate |
| 2012-01-04 | wenzelm | prefer explicit version information; | file | diff | annotate |
| 2012-01-03 | blanchet | reenable Kodkodi in Isatest now that Nitpick has been ported to 'a set constructor | file | diff | annotate |
| 2011-12-28 | wenzelm | disable kodkodi for now to prevent isatest failure of HOL-Nitpick_Examples due to 'a set constructor; | file | diff | annotate |
| 2011-12-18 | wenzelm | tuned settings; | file | diff | annotate |
| 2011-04-20 | wenzelm | migrated macbroy6 to macbroy30, which is the new "mobile" server (2 cores, 4 GB, Mac OS 10.5); | file | diff | annotate | base |