Puppy Linux Discussion Forum Forum Index Puppy Linux Discussion Forum
Puppy HOME page : puppylinux.com
"THE" alternative forum : puppylinux.info
 FAQFAQ   SearchSearch   MemberlistMemberlist   UsergroupsUsergroups   RegisterRegister 
 ProfileProfile   Log in to check your private messagesLog in to check your private messages   Log inLog in 

The time now is Thu 02 Jul 2015, 06:09
All times are UTC - 4
 Forum index » Off-Topic Area » Programming
Coq 8.3pl5 proof assistant + CoqIDE
Post_new_topic   Reply_to_topic View_previous_topic :: View_next_topic
Page 1 of 1 Posts_count_1  
Author Message

Joined: 20 Mar 2008
Posts: 20

PostPosted: Sat 13 Apr 2013, 14:51    Post_subject:  Coq 8.3pl5 proof assistant + CoqIDE
Sub_title: a Pet installer for Coq 8.3pl5 proof assistant and CoqIDE

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

Arrow coq-8.3pl5.pet
Back to top
View user's profile Send_private_message 
Display_posts:   Sort by:   
Page 1 of 1 Posts_count_1  
Post_new_topic   Reply_to_topic View_previous_topic :: View_next_topic
 Forum index » Off-Topic Area » Programming
Jump to:  

You cannot attach files in this forum
You can download files in this forum

Powered by phpBB © 2001, 2005 phpBB Group
[ Time: 0.0366s ][ Queries: 11 (0.0039s) ][ GZIP on ]