[isabelle-dev] introduction to Isabelle/jEdit for PG users?
c.sternagel at gmail.com
Wed Jan 23 01:19:14 CET 2013
I tried to summarize most of the issues that made it to the Isabelle
mailing lists (at that time) in my submission to the Isabelle Users
It's definitely incomplete, but maybe it could help.
On 01/23/2013 04:07 AM, Tobias Nipkow wrote:
> In principle a good idea, but I don't think we want multiple intros for
> different audiences. Hence I would aim for a general intro that also covers
> points that PG users are used to.
> Am 22/01/2013 13:30, schrieb Lawrence Paulson:
>> Do we provide an introduction to Isabelle/jEdit for PG users? It might be a good idea to do so. I'm willing to make a first attempt at this, though I'm sure it will contain some mistakes, which I'm sure others of you would be only too happy to fix.
>> I have in mind a single webpage, with a couple of screenshots. In fact, I don't know the full possibilities of Isabelle/jEdit, so it will only be a start. But as usual, the first step seems to be the hardest.
>> isabelle-dev mailing list
>> isabelle-dev at in.tum.de
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev