# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1244100509 -7200
# Node ID a0af7fe3f558737a6c82869e59507c0c2cd84fd2
# Parent  03145998190bb4dbc578a2b1594f14e8d548b663
minor tuning

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
 
diff -r 03145998190b -r a0af7fe3f558 progtutorial.pdf
Binary file progtutorial.pdf has changed