--- a/src/ZF/IsaMakefile Wed Dec 14 10:18:28 2011 +0100
+++ b/src/ZF/IsaMakefile Wed Dec 14 12:02:02 2011 +0100
@@ -10,6 +10,7 @@
#Note: keep targets sorted
test: ZF-AC ZF-Coind ZF-Constructible ZF-IMP ZF-Induct ZF-Resid ZF-UNITY ZF-ex
all: images test
+full: all
smlnj: all