Re: [isabelle] Facelifting Isabelle tutorial

On Thu, 18 Feb 2016, Tobias Nipkow wrote:

Maybe the web page should move the tutorial down the list.

The web page is a presentation of the same formal doc/Contents that are part of the Isabelle distribution, and displayed in Isabelle/jEdit Documentation. I am all for reforming that, but it is something for the next release. E.g. the old "tutorial" could be moved to "Old Manuals".

Many years ago, the "Reference Manuals" were hardly maintained, but now that part contains the most up-to-date material, while half of the "Tutorials" stayed unchanged. The most current manual in Isabelle2016 is the one on Isabelle/jEdit (last item in the visible list).


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.