[isabelle-dev] introduction to Isabelle/jEdit for PG users?
nipkow at in.tum.de
Tue Jan 22 20:07:45 CET 2013
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
More information about the isabelle-dev