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 |