--- 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