[isabelle-dev] Isabelle/JEdit development

Gergely Buday gbuday at gmail.com
Fri Jan 2 20:04:37 CET 2015


Hi,

is there a document that describes the modules of the
src/Tools/jEdit/src directory?

My concrete question is which method is the actual call for checking
the document to the cursor. Or is it hardwired to JEdit?

Cheers

- Gergely


More information about the isabelle-dev mailing list