[Club2] Isabelle/Scala and Isabelle/jEdit

Makarius makarius at sketis.net
Thu Feb 4 22:02:38 CET 2010


On Thu, 4 Feb 2010, Makarius wrote:

> There will be a Club2 session on Isabelle/Scala and Isabelle/jEdit tomorrow, 
> Friday 05-Feb-2010 14:00 in Room 00.11.038 ("John v. Neumann")
>
> Some background information:
>
>  * Isabelle/Scala is the emerging platform for all aspects of "system
>    programming" for Isabelle (in the past it used to be bash + perl + diy).
>    The idea is to provide a solid basis for editors, web applications
>    etc. with Isabelle as backend.
>
>  * Isabelle/jEdit is some kind of demo application based on
>    the Isabelle/Scala layer.  The idea is to instrument the (very
>    powerful) text editor jEdit to support a notion of "asynchronous proof
>    document".  Think of a light-weight "prover IDE", not 16 tons of
>    Eclipse smashing your desktop.
>
> After quite some years of talking, planning, conceptualizing etc. the present 
> implementation should survive a demo of 1-2 hours, i.e. it is fit for a Club2 
> session at the least.

Important update: session starts at 15:30, not 14:00!


 	Makarius


More information about the Club2 mailing list