Compiled using Racy Puppy 5.3
No menu entry.
You have to manually create a coqtop shorcut for coqtop.opt | coqtop.byte and a coqide shorcut for coqide.opt | coqide.byte
A x-coq MIME type is created. Plus a coq48.png midi-icon for integration with ROX-Filer.
Coq reference manual
Coq standard library
#coq freenode Web IRC

coq-8.3pl5.pet