sturm
7f7292aee5
compile with ocaml 3.07
2003-12-31 17:06:42 +00:00
naddy
2276d3b230
remove WWW lines
2003-12-15 21:42:08 +00:00
sturm
18ebc748c1
make coq use the ocaml module
...
requested by and OK naddy@
2002-12-18 09:40:07 +00:00
naddy
6cfb0e81a0
Update to 7.3.1 and unbreak.
...
From: Yozo Toda <yozo@v007.vaio.ne.jp>
2002-11-04 21:10:44 +00:00
naddy
b154af47f1
remove obsolete camlp4 dependency
2002-09-07 23:43:09 +00:00
pvalchev
c440a7d291
Update maintainer's email address, remove a dead master site.
...
from Yozo TODA <yozo@v007.vaio.ne.jp>
2002-01-31 20:41:38 +00:00
espie
0e6f6f93bb
Kill first component of BUILD_DEPENDS.
...
Fix sawfish comment while I'm at it.
`window manager for the X windows system'.
Like DUH ! It's going to be a window manager for my microwave oven ?
2001-11-10 15:00:47 +00:00
naddy
3367255cb4
Import of coq 7.0.
...
Submitted by Yozo Toda <yozo@imit.chiba-u.ac.jp>.
The Coq Proof Assistant is designed to write formal specifications, programs
and to verify that programs are correct with respect to their specification.
2001-09-22 14:24:31 +00:00
