_CoqProject « mllib1 « coq-makefile « test-suite - coq - the Coq proof assistant

about summary refs log tree commit diff homepage

path: root/test-suite/coq-makefile/mllib1/_CoqProject

blob: 6b2046d6861c16c9dd5d80a659988bb915ab28ad (plain)

-R theories test
-I src

src/test_plugin.mllib
src/test.ml4
src/test.mli
src/test_aux.ml
src/test_aux.mli
theories/test.v