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