equal
deleted
inserted
replaced
25 |
25 |
26 |
26 |
27 The best way to get to know the ML-level of Isabelle is by experimenting |
27 The best way to get to know the ML-level of Isabelle is by experimenting |
28 with the many code examples included in the tutorial. The code is as far as |
28 with the many code examples included in the tutorial. The code is as far as |
29 possible checked against the Isabelle |
29 possible checked against the Isabelle |
30 distribution.\footnote{\input{version}} If something does not work, then |
30 distribution. %FIXME \footnote{\input{version}} |
|
31 If something does not work, then |
31 please let us know. It is impossible for us to know every environment, |
32 please let us know. It is impossible for us to know every environment, |
32 operating system or editor in which Isabelle is used. If you have comments, |
33 operating system or editor in which Isabelle is used. If you have comments, |
33 criticism or like to add to the tutorial, please feel free---you are most |
34 criticism or like to add to the tutorial, please feel free---you are most |
34 welcome!! The tutorial is meant to be gentle and comprehensive. To achieve |
35 welcome!! The tutorial is meant to be gentle and comprehensive. To achieve |
35 this we need your help and feedback. |
36 this we need your help and feedback. |
329 text is still under construction. Sections and |
330 text is still under construction. Sections and |
330 chapters that are under \underline{heavy} construction are marked |
331 chapters that are under \underline{heavy} construction are marked |
331 with TBD.} |
332 with TBD.} |
332 |
333 |
333 \vfill |
334 \vfill |
334 |
335 %% FIXME |
335 This document (version \input{tip}\hspace{-0.5ex}) was compiled with:\\ |
336 %% This document (version \input{tip.tex}\hspace{-0.5ex}) was compiled with:\\ |
336 \input{version}\\ |
337 %% \input{version}\\ |
337 %%\input{pversion} |
338 %% \input{pversion} |
338 *} |
339 *} |
339 |
340 |
340 end |
341 end |