[isabelle-dev] Isabelle/JEdit development

Makarius makarius at sketis.net
Sat Jan 3 15:43:31 CET 2015


On Fri, 2 Jan 2015, Gergely Buday wrote:

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

See the many papers that I have published in the past 5 years about PIDE, 
as well as the sources themselves, but you also need to include 
src/Pure/PIDE/ (both the Scala and ML side).


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

No, jEdit is just a plain text editor and knows nothing about IDE support. 
The Isabelle/PIDE infrastructure is connected to jEdit via 
PIDE.editor.invoke: edits are sent through some pipeline and ultimately 
end up in Document.update (in Scala and ML).  The Document.start_execution 
in ML does the main job to have it checked it eventually.


(So far there is nothing specific about isabelle-dev on this thread: 
Isabelle/Scala and Isabelle/ML belong to normal Isabelle user space.)


 	Makarius



More information about the isabelle-dev mailing list