equal
deleted
inserted
replaced
101 |
101 |
102 <H3>Stable Version</H3> |
102 <H3>Stable Version</H3> |
103 |
103 |
104 There is no real stable version of the Programming Tutorial yet. If you need a version |
104 There is no real stable version of the Programming Tutorial yet. If you need a version |
105 that is guaranteed to work with Isabelle 2011-1, then please get in touch with me |
105 that is guaranteed to work with Isabelle 2011-1, then please get in touch with me |
106 (christian.urban at kcl ac ik). |
106 (christian.urban at kcl ac uk). |
107 |
107 |
108 |
108 |
109 <H3><A NAME="readers"></A>What early readers said:</H3> |
109 <H3><A NAME="readers"></A>What early readers said:</H3> |
110 |
110 |
111 <i> |
111 <i> |
178 </a> |
178 </a> |
179 <p> |
179 <p> |
180 <P> |
180 <P> |
181 <a href="http://validator.w3.org/check/referer" target="_top">[Validate this page.]</a> |
181 <a href="http://validator.w3.org/check/referer" target="_top">[Validate this page.]</a> |
182 <!-- hhmts start --> |
182 <!-- hhmts start --> |
183 Last modified: Sun Oct 30 22:40:17 GMT 2011 |
183 Last modified: Tue Nov 1 11:26:11 GMT 2011 |
184 <!-- hhmts end --> |
184 <!-- hhmts end --> |
185 |
185 |
186 </body> |
186 </body> |
187 </html> |
187 </html> |