[Club2] Isabelle/Scala and Isabelle/jEdit
Makarius
makarius at sketis.net
Thu Feb 4 17:57:53 CET 2010
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.
Makarius
More information about the Club2
mailing list