--- a/src/FOL/IsaMakefile Sun Mar 27 16:56:16 2011 +0200 +++ b/src/FOL/IsaMakefile Sun Mar 27 17:32:25 2011 +0200 @@ -8,6 +8,7 @@ images: FOL test: FOL-ex all: images test +smlnj: all ## global settings