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
Workshop.
http://arxiv.org/abs/1208.1368
It's definitely incomplete, but maybe it could help.
cheers
chris
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.
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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev