diff options
author | 2007-08-27 07:28:26 +0000 | |
---|---|---|
committer | 2007-08-27 07:28:26 +0000 | |
commit | d0d0fa119d8061cb6fb844e2d6c1ea7bac6eec44 (patch) | |
tree | a937aa8224a948b4e355a75c4bb699583731fe12 /contrib/interface/showproof_ct.ml | |
parent | d9de9e7b1a8bd80dedb984ab4e15fa195e259633 (diff) |
Depend on ocaml-base-nox since coq_makefile needs ocamlrun.
Diffstat (limited to 'contrib/interface/showproof_ct.ml')
0 files changed, 0 insertions, 0 deletions