prio/IsaMakefile
changeset 282 a3b4eed091d2
parent 265 993068ce745f
child 360 66e0ec8acedc
--- a/prio/IsaMakefile	Sun Feb 05 14:29:08 2012 +0000
+++ b/prio/IsaMakefile	Sun Feb 05 21:00:12 2012 +0000
@@ -2,7 +2,7 @@
 ## targets
 
 default: itp
-all: session paper
+all: session itp
 
 ## global settings