[isabelle-dev] Isabelle website

[Christian Sternagel]

Maybe this thread is of interest

 
http://www.mail-archive.com/isabelle-dev@mailbroy.informatik.tu-muenchen.de/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 <makarius at sketis.net> 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
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>