Re: [isabelle] Facelifting Isabelle tutorial

Dear all,

do you think that including a short "hands-on" tutorial (like the one I posted some monthes ago) would be worth?

I tried it with 15 persons (programmers, Coq users) and it helped them to quickly interact with the tool (and feel its power!), in less than 45 minutes.

Best regards,


Le 19/02/2016 08:56, Tobias Nipkow a écrit :

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
(last item in the visible list).


Thomas Genet
Campus de Beaulieu, 35042 Rennes cedex, France
Tél: +33 (0) 2 99 84 73 44 E-mail: genet at

Attachment: shortIsabelleTutorial.pdf
Description: video/flv

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