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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev