[isabelle-dev] Isabelle/JEdit development
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.)
More information about the isabelle-dev