Luna Tuna (Sep 02 2022 at 20:47): Luna Tuna (Sep 02 2022 at 20:47):I'm having trouble finding the documentation that would describe how to connect (via stdin/out, via socket, or ...)? Specifically the standalone Coq IDE.
Paolo Giarrusso (Sep 02 2022 at 21:44):"CoqIDE" is the whole editor but I guess you're talking of coqidetop? I think there aren't too many docs beyond the existing editors, and Coq devs have mentioned plans to replace the whole protocol and backend with an LSP-based one
Paolo Giarrusso (Sep 02 2022 at 21:45):depending on your use case, other solutions might exist
Paolo Giarrusso (Sep 02 2022 at 21:45):(but I'm just a Coq user who spends too long on these forums)
Ali Caglayan (Sep 03 2022 at 11:16):If you want documentation on the XML protocol, it can be found in dev/doc/xml-protocol.md. Warning: It's not a very good protocol and there are plans to replace it.
Michael Soegtrop (Sep 05 2022 at 07:32):Depending on what you want to do (write an editor or M2M stuff) you might also want to look at serapi.
Last updated: Oct 13 2024 at 01:02 UTC