Maybe this thread is of interest
http://www.mail-archive.com/[email protected]/msg03773.html
(It contains an overview.html that I once started but never finished.)
cheers
chris
On 09/30/2013 08:28 PM, Lawrence Paulson wrote:
Early in 2013 I was planning to update the old PG-based movie to use jEdit, but
was interrupted by massive programme committee obligations among other things,
and it was left behind by events. And anyway jEdit has changed quite a bit
since then. Perhaps I shall find the time after the next release. Probably not
before.
Larry
On 30 Sep 2013, at 12:10, Makarius <[email protected]> wrote:
This perspective can somehow be taken into account when updating the website.
E.g. the old preview by Larry shows how to download, install, run Isabelle,
open a theory file, but this is now self-explanatory.
There could be some nice videos instead, but I still don't know how to produce
them.
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
