dune « protocol « coqide « ide - coq - The formal proof system

about summary refs log tree commit diff

path: root/ide/coqide/protocol/dune

blob: 801ceb20ecc01c19401ec73aacd7d414052d9e40 (plain)

(library
 (name protocol)
 (public_name coqide-server.protocol)
 (wrapped false)
 (libraries coq.lib))

(ocamllex xml_lexer)