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

about summary refs log tree commit diff

path: root/ide/protocol/dune

blob: 9ce45599408262e03e2d2da9ee368e02b839d80f (plain)

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

(ocamllex xml_lexer)