diff options
| author |  barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-05-22 00:08:14 +0000 |
|---|---|---|
| committer | barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-05-22 00:08:14 +0000 |
| commit | dc25e1b9a7ca3d747b6b9494d58c1ad267bad055 (patch) | |
| tree | 0ae762612397ca3a34e47b675b5f5200211d2f65 /checker/modops.ml | |
| parent | 85a223796514d98211c06593d7ec72e56ed21e33 (diff) | |
added coqchk to the main Makefile and a make variable VALIDATE to check the vo files of the theories
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10962 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'checker/modops.ml')
0 files changed, 0 insertions, 0 deletions