diff -r 2ac9dc1a95b4 -r fe732e890d87 ProgTutorial/Intro.thy
--- 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}
 *}