index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
dev
/
build
/
windows
Mode
Name
Size
-rw-r--r--
CAVEATS.txt
728
log
plain
-rw-r--r--
MakeCoq_84pl6_abs_ocaml.bat
695
log
plain
-rw-r--r--
MakeCoq_85pl2_abs_ocaml.bat
695
log
plain
-rw-r--r--
MakeCoq_85pl3_abs_ocaml.bat
695
log
plain
-rw-r--r--
MakeCoq_85pl3_installer.bat
668
log
plain
-rw-r--r--
MakeCoq_85pl3_installer_32.bat
671
log
plain
-rw-r--r--
MakeCoq_86_abs_ocaml.bat
213
log
plain
-rw-r--r--
MakeCoq_86_installer.bat
186
log
plain
-rw-r--r--
MakeCoq_86_installer_32.bat
186
log
plain
-rw-r--r--
MakeCoq_86beta1_abs_ocaml.bat
228
log
plain
-rw-r--r--
MakeCoq_86beta1_installer.bat
201
log
plain
-rw-r--r--
MakeCoq_86beta1_installer_32.bat
201
log
plain
-rw-r--r--
MakeCoq_86git_abs_ocaml.bat
697
log
plain
-rw-r--r--
MakeCoq_86git_abs_ocaml_gtksrc.bat
733
log
plain
-rw-r--r--
MakeCoq_86git_installer.bat
670
log
plain
-rw-r--r--
MakeCoq_86git_installer2.bat
199
log
plain
-rw-r--r--
MakeCoq_86git_installer_32.bat
673
log
plain
-rwxr-xr-x
MakeCoq_86git_installer_cyglocal.bat
714
log
plain
-rw-r--r--
MakeCoq_86rc1_abs_ocaml.bat
222
log
plain
-rw-r--r--
MakeCoq_86rc1_installer.bat
195
log
plain
-rw-r--r--
MakeCoq_86rc1_installer_32.bat
195
log
plain
-rw-r--r--
MakeCoq_MinGW.bat
12252
log
plain
-rw-r--r--
MakeCoq_SetRootPath.bat
646
log
plain
-rwxr-xr-x
MakeCoq_explicitcachefolders_installer.bat
779
log
plain
-rwxr-xr-x
MakeCoq_local_installer.bat
688
log
plain
-rw-r--r--
MakeCoq_regtest_noproxy.bat
675
log
plain
-rw-r--r--
MakeCoq_regtests.bat
1095
log
plain
-rwxr-xr-x
MakeCoq_trunk_installer.bat
671
log
plain
-rw-r--r--
ReadMe.txt
18151
log
plain
-rw-r--r--
configure_profile.sh
1534
log
plain
-rw-r--r--
difftar-folder.sh
2429
log
plain
-rw-r--r--
makecoq_mingw.sh
46646
log
plain
d---------
patches_coq
616
log
plain
