aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/build/windows
ModeNameSize
-rw-r--r--CAVEATS.txt728logplain
-rw-r--r--MakeCoq_84pl6_abs_ocaml.bat695logplain
-rw-r--r--MakeCoq_85pl2_abs_ocaml.bat695logplain
-rw-r--r--MakeCoq_85pl3_abs_ocaml.bat695logplain
-rw-r--r--MakeCoq_85pl3_installer.bat668logplain
-rw-r--r--MakeCoq_85pl3_installer_32.bat671logplain
-rw-r--r--MakeCoq_86_abs_ocaml.bat213logplain
-rw-r--r--MakeCoq_86_installer.bat186logplain
-rw-r--r--MakeCoq_86_installer_32.bat186logplain
-rw-r--r--MakeCoq_86beta1_abs_ocaml.bat228logplain
-rw-r--r--MakeCoq_86beta1_installer.bat201logplain
-rw-r--r--MakeCoq_86beta1_installer_32.bat201logplain
-rw-r--r--MakeCoq_86git_abs_ocaml.bat697logplain
-rw-r--r--MakeCoq_86git_abs_ocaml_gtksrc.bat733logplain
-rw-r--r--MakeCoq_86git_installer.bat670logplain
-rw-r--r--MakeCoq_86git_installer2.bat199logplain
-rw-r--r--MakeCoq_86git_installer_32.bat673logplain
-rwxr-xr-xMakeCoq_86git_installer_cyglocal.bat714logplain
-rw-r--r--MakeCoq_86rc1_abs_ocaml.bat222logplain
-rw-r--r--MakeCoq_86rc1_installer.bat195logplain
-rw-r--r--MakeCoq_86rc1_installer_32.bat195logplain
-rw-r--r--MakeCoq_MinGW.bat12252logplain
-rw-r--r--MakeCoq_SetRootPath.bat646logplain
-rwxr-xr-xMakeCoq_explicitcachefolders_installer.bat779logplain
-rwxr-xr-xMakeCoq_local_installer.bat688logplain
-rw-r--r--MakeCoq_regtest_noproxy.bat675logplain
-rw-r--r--MakeCoq_regtests.bat1095logplain
-rwxr-xr-xMakeCoq_trunk_installer.bat671logplain
-rw-r--r--ReadMe.txt18151logplain
-rw-r--r--configure_profile.sh1534logplain
-rw-r--r--difftar-folder.sh2429logplain
-rw-r--r--makecoq_mingw.sh46646logplain
d---------patches_coq616logplain