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