2 Commits

Author	SHA1	Message	Date
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