--- a/ProgTutorial/Intro.thy	Wed Aug 05 09:24:18 2009 +0200
+++ b/ProgTutorial/Intro.thy	Wed Aug 05 16:00:01 2009 +0200
@@ -233,7 +233,8 @@
   with TBD.}
 
   \vfill
-  This document was compiled with:\\
+  
+  This document (version \input{tip}\hspace{-0.5ex}) was compiled with:\\
   \input{version}\\
   \input{pversion}
 *}