diff -r 03145998190b -r a0af7fe3f558 IsaMakefile --- a/IsaMakefile Sun May 31 00:39:17 2009 +0200 +++ b/IsaMakefile Thu Jun 04 09:28:29 2009 +0200 @@ -2,8 +2,6 @@ ## targets default: tutorial -images: -test: all: tutorial