6a9dfbc
Initial commit of F-8 branch of supporting files for coq package.
Authored and Committed by 
amdunn
15 years ago
.cvsignore
file modified
+7
-0
README.coq-emacs
file added
+1
RecTutorial.v
file added
+1214
check.patch
file added
+11
cmxa-install.patch
file added
+16
coq-icon.png
file added
+0
coq.spec
file added
+288
coqide.desktop
file added
+8
import.log
file added
+1
makefile-strip.patch
file added
+34
makefile.patch
file added
+11
sources
file modified
+7
-0
empty file added