Re: [isabelle] Facelifting Isabelle tutorial

On 18/02/2016 15:48, Makarius wrote:
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).


Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

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