# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1354380646 0
# Node ID d144fc51fe04a8469b6dc5e0384912ef50fe4ca3
# Parent  12861a3620999e3693dabc77418f03bb9e1b83be
removed versions

diff -r 12861a362099 -r d144fc51fe04 ProgTutorial/Intro.thy
--- a/ProgTutorial/Intro.thy	Sat Dec 01 14:51:19 2012 +0000
+++ b/ProgTutorial/Intro.thy	Sat Dec 01 16:50:46 2012 +0000
@@ -27,7 +27,7 @@
   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.tex}} 
+  distribution.%%\footnote{\input{version.tex}}
   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,
@@ -332,8 +332,8 @@
   with TBD.}
 
   \vfill
-  This document (version \input{tip.tex}\hspace{-0.5ex}) was compiled with:\\
-  \input{version.tex}\\
+  %%This document (version \input{tip.tex}\hspace{-0.5ex}) was compiled with:\\
+  %%\input{version.tex}\\
   %% \input{pversion}
 *}
 
diff -r 12861a362099 -r d144fc51fe04 progtutorial.pdf
Binary file progtutorial.pdf has changed