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 Fri 25 Jul 2014, 16:01
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 [1 Post]  
Author Message
SpiceGuid


Joined: 20 Mar 2008
Posts: 20

PostPosted: Sat 13 Apr 2013, 14:51    Post subject:  Coq 8.3pl5 proof assistant + CoqIDE
Subject description: 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 from previous:   Sort by:   
Page 1 of 1 [1 Post]  
Post new topic   Reply to topic View previous topic :: View next topic
 Forum index » Off-Topic Area » Programming
Jump to:  

You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum
You cannot attach files in this forum
You can download files in this forum


Powered by phpBB © 2001, 2005 phpBB Group
[ Time: 0.0346s ][ Queries: 12 (0.0038s) ][ GZIP on ]