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.
Tobias 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. > > Larry > > _______________________________________________ > isabelle-dev mailing list > isabelle-...@in.tum.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev > _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
