--- a/ProgTutorial/Intro.thy	Thu Apr 02 12:19:11 2009 +0100
+++ b/ProgTutorial/Intro.thy	Fri Apr 03 07:55:07 2009 +0100
@@ -161,7 +161,8 @@
   
   \vfill
   This document was compiled with:\\
-  \input{version}
+  \input{version}\\
+  \input{pversion}
 *}