Mon, 17 Aug 2015 16:27:12 +0200 | wenzelm | explicit debug flag for ML compiler; | file | diff | annotate |
Mon, 17 Aug 2015 15:29:30 +0200 | wenzelm | tuned; | file | diff | annotate |
Sun, 06 Apr 2014 15:38:54 +0200 | wenzelm | approximate ML antiquotation @{here} for Isabelle/Pure bootstrap; | file | diff | annotate |
Wed, 16 Jan 2013 11:31:08 +0100 | wenzelm | tuned comments; | file | diff | annotate |
Thu, 24 May 2012 15:33:45 +0200 | wenzelm | simplified Poly/ML setup -- 5.3.0 is now the common base-line; | file | diff | annotate | base |