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, Thomas 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".D'accord. TobiasMany 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). Makarius
-- Thomas Genet ISTIC/IRISA Campus de Beaulieu, 35042 Rennes cedex, France Tél: +33 (0) 2 99 84 73 44 E-mail: genet at irisa.fr http://www.irisa.fr/celtique/genet