<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<div dir="auto"><div dir="auto">Hello, hope you all are doing well.<br></div><div dir="auto"><br></div><div dir="auto">I'd like to create a Neovim plugin that is essentially Coqtail (<a href="https://github.com/whonore/coqtail" rel="noopener noreferrer" target="_blank">https://github.com/whonore/coqtail</a>) but for Isabelle. According to a blog post (<a href="https://whonore.github.io/src/projects/coqtail.html" rel="noopener noreferrer" target="_blank">https://whonore.github.io/src/projects/coqtail.html</a>), Coqtail uses Coq's XML protocol to function, which is well documented here (<a href="https://github.com/rocq-prover/rocq/blob/master/dev/doc/xml-protocol.md" rel="noopener noreferrer" target="_blank">https://github.com/rocq-prover/rocq/blob/master/dev/doc/xml-protocol.md</a>). As far as I know, there isn't much documentation on how to communicate with Isabelle/PIDE, though I believe that the way to do it would be through XML, as I see some use of the XML protocol in the Isabelle code I downloaded. I can't really tell if what I want to do is possible without significant changes to Isabelle itself, so I'm asking for the opinion of somebody who knows what they are doing.<br><br>Thank you for reading this, hope you have a great day.</div></div><div dir="auto"><br></div> </body>
</html>