| Mon, 28 Mar 2011 09:22:22 +0200 | krauss | keep smlnj HOL images around | changeset | files |
| Sun, 27 Mar 2011 21:44:10 +0200 | wenzelm | merged | changeset | files |
| 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"; | changeset | files |