| Sat, 13 Feb 2016 12:17:54 +0100 | wenzelm | obsolete -- no such conditions in main Isabelle repository; | file | diff | annotate |
| Fri, 24 Apr 2015 14:56:47 +0200 | wenzelm | clarified settings for default Poly/ML version: test the actual Isabelle component; | file | diff | annotate |
| Thu, 09 Apr 2015 22:56:31 +0200 | wenzelm | obsolete; | file | diff | annotate |
| Sat, 22 Nov 2014 11:05:41 +0100 | wenzelm | isatest for Mac OS X Yosemite; | file | diff | annotate |