--- a/ROOT	Tue Feb 19 05:11:33 2013 +0000
+++ b/ROOT	Tue Feb 19 13:36:35 2013 +0000
@@ -12,5 +12,6 @@
     "thys/UTM"
 
 session ITP = UTM +
+  options [document = pdf, document_output = "."]
   theories
     "Paper/Paper"
\ No newline at end of file