*To*: cl-isabelle-users at lists.cam.ac.uk*Subject*: Re: [isabelle] Facelifting Isabelle tutorial*From*: Tobias Nipkow <nipkow at in.tum.de>*Date*: Thu, 18 Feb 2016 15:39:00 +0100*In-reply-to*: <CAJ5BkY5K9Q9Wpdorah8mti2LpAUz7BMdQaoA-m2vnBUEbbPDKQ@mail.gmail.com>*References*: <CAJ5BkY5K9Q9Wpdorah8mti2LpAUz7BMdQaoA-m2vnBUEbbPDKQ@mail.gmail.com>*User-agent*: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:38.0) Gecko/20100101 Thunderbird/38.6.0

On 18/02/2016 15:09, Serguei Mokhov wrote:

Hello all, Are there plans to facelift a bit the tutorial document in Isabelle distribution? Is anyone working on it slowly?

Tobias

If not, are contributions to it welcome or is it not worth the effort? In particular, at the very least: - While there is a good volume of good stuff in there for instance it still refers to Proof General in its tooltips; these could be "refactored" into the way it is now done in jEdit with new tips added or obsolete non-replaceable removed. - prog-prove and other docs have appeared over the last few years with some more recent info, so at least these can be all referenced in the beginning in the introduction to direct the reader to those other places based on their need on datatypes, functions, locales, etc.. This is such that the tutorial cold be the starting point for all branching out to other documentation, while the rest is being updated or just stays as-is self-contained.

**Attachment:
smime.p7s**

**Follow-Ups**:**Re: [isabelle] Facelifting Isabelle tutorial***From:*Makarius

**References**:**[isabelle] Facelifting Isabelle tutorial***From:*Serguei Mokhov

- Previous by Date: [isabelle] Facelifting Isabelle tutorial
- Next by Date: Re: [isabelle] Facelifting Isabelle tutorial
- Previous by Thread: [isabelle] Facelifting Isabelle tutorial
- Next by Thread: Re: [isabelle] Facelifting Isabelle tutorial
- Cl-isabelle-users February 2016 archives indexes sorted by: [ thread ] [ subject ] [ author ] [ date ]
- Cl-isabelle-users list archive Table of Contents
- More information about the Cl-isabelle-users mailing list