espie d7c7e778ad new style PLISTs

2004-09-15 09:11:58 +00:00

..

DESCR

remove WWW lines

2003-12-15 21:42:08 +00:00

PFRAG.native

make coq use the ocaml module

2002-12-18 09:40:07 +00:00

PLIST

new style PLISTs

2004-09-15 09:11:58 +00:00