Mercurial Mercurial > hg > isabelle-cookbook / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed versions
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Sat, 01 Dec 2012 16:50:46 +0000
changeset 540 d144fc51fe04
parent 539 12861a362099
child 541 96d10631eec2
removed versions
ProgTutorial/Intro.thy file | annotate | diff | comparison | revisions
progtutorial.pdf file | annotate | diff | comparison | revisions 
--- 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}
 *}
 
Binary file progtutorial.pdf has changed
isabelle-cookbook