
diff -r 0760fdf56942 -r 5734ab5dd86d ProgTutorial/Intro.thy
--- a/ProgTutorial/Intro.thy	Fri Jun 22 19:55:20 2012 +0100
+++ b/ProgTutorial/Intro.thy	Mon Aug 27 10:24:10 2012 +0100
@@ -27,7 +27,8 @@
   The best way to get to know the ML-level of Isabelle is by experimenting
   with the many code examples included in the tutorial. The code is as far as
   possible checked against the Isabelle
-  distribution.\footnote{\input{version}} If something does not work, then
+  distribution.  %FIXME \footnote{\input{version}} 
+  If something does not work, then
   please let us know. It is impossible for us to know every environment,
   operating system or editor in which Isabelle is used. If you have comments,
   criticism or like to add to the tutorial, please feel free---you are most
@@ -331,10 +332,10 @@
   with TBD.}
 
   \vfill
-  
-  This document (version \input{tip}\hspace{-0.5ex}) was compiled with:\\
-  \input{version}\\
-  %%\input{pversion}
+  %% FIXME
+  %% This document (version \input{tip.tex}\hspace{-0.5ex}) was compiled with:\\
+  %% \input{version}\\
+  %% \input{pversion}
 *}
 
 end




