Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | CAVEATS.txt | 728 | logplain |
-rw-r--r-- | MakeCoq_84pl6_abs_ocaml.bat | 222 | logplain |
-rw-r--r-- | MakeCoq_85pl2_abs_ocaml.bat | 222 | logplain |
-rw-r--r-- | MakeCoq_85pl3_abs_ocaml.bat | 222 | logplain |
-rw-r--r-- | MakeCoq_85pl3_installer.bat | 195 | logplain |
-rw-r--r-- | MakeCoq_85pl3_installer_32.bat | 195 | logplain |
-rw-r--r-- | MakeCoq_86git_abs_ocaml.bat | 224 | logplain |
-rw-r--r-- | MakeCoq_86git_abs_ocaml_gtksrc.bat | 253 | logplain |
-rw-r--r-- | MakeCoq_86git_installer.bat | 197 | logplain |
-rw-r--r-- | MakeCoq_86git_installer2.bat | 199 | logplain |
-rw-r--r-- | MakeCoq_86git_installer_32.bat | 197 | logplain |
-rw-r--r-- | MakeCoq_MinGW.bat | 11677 | logplain |
-rw-r--r-- | MakeCoq_SetRootPath.bat | 309 | logplain |
-rw-r--r-- | MakeCoq_regtest_noproxy.bat | 344 | logplain |
-rw-r--r-- | MakeCoq_regtests.bat | 402 | logplain |
-rw-r--r-- | ReadMe.txt | 17328 | logplain |
-rw-r--r-- | configure_profile.sh | 1128 | logplain |
-rw-r--r-- | difftar-folder.sh | 2007 | logplain |
-rw-r--r-- | makecoq_mingw.sh | 44388 | logplain |
d--------- | patches_coq | 524 | logplain |