aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/jprover
diff options
context:
space:
mode:
authorGravatar courant <courant@85f007b7-540e-0410-9357-904b9bb8a0f7>2002-11-13 14:37:58 +0000
committerGravatar courant <courant@85f007b7-540e-0410-9357-904b9bb8a0f7>2002-11-13 14:37:58 +0000
commitb70d84b8350fa4624e2ca2a0607981b08bf13242 (patch)
treecb705ac578ca3554e76374b32d5a03eac7f9c28c /contrib/jprover
parent5d7b3286fccc9d353b58b5074ccff20e709c097f (diff)
typo
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3228 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'contrib/jprover')
-rw-r--r--contrib/jprover/README2
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/jprover/README b/contrib/jprover/README
index fa08415f7..ec654a036 100644
--- a/contrib/jprover/README
+++ b/contrib/jprover/README
@@ -48,7 +48,7 @@ This directory contains
jlogic.ml ------ interface module of jall.ml
jterm.ml
opname.ml ------ implement the infrastructure for jall.ml
- jprover.ml ------ the interface of jall.ml to Coq
+ jprover.ml4 ------ the interface of jall.ml to Coq
JProver.v ------ declaration for Coq
Makefile ------ the makefile
go ------ batch file to load JProver to Coq dynamically