src/LCF/IsaMakefile
Wed, 14 Dec 2011 12:02:02 +0100 wenzelm more visible benchmarks;
Sun, 27 Mar 2011 17:32:25 +0200 krauss added make target 'smlnj' to refer to what can/should be tested using smlnj -- allows the use of "isabelle makeall smlnj";
Wed, 12 May 2010 14:17:26 +0200 wenzelm removed obsolete CVS Ids;
less more (0) -10 -3 tip