--- a/src/Sequents/IsaMakefile Wed Dec 14 10:18:28 2011 +0100 +++ b/src/Sequents/IsaMakefile Wed Dec 14 12:02:02 2011 +0100 @@ -8,6 +8,7 @@ images: Sequents test: Sequents-LK all: images test +full: all smlnj: all