| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | CAVEATS.txt | 728 | logplain |
| -rwxr-xr-x | MakeCoq_MinGW.bat | 14060 | logplain |
| -rw-r--r-- | MakeCoq_SetRootPath.bat | 646 | logplain |
| -rwxr-xr-x | MakeCoq_explicitcachefolders_installer.bat | 779 | logplain |
| -rwxr-xr-x | MakeCoq_local_installer.bat | 688 | logplain |
| -rwxr-xr-x | MakeCoq_master_installer.bat | 672 | logplain |
| -rw-r--r-- | MakeCoq_regtest_noproxy.bat | 675 | logplain |
| -rw-r--r-- | MakeCoq_regtests.bat | 1095 | logplain |
| -rw-r--r-- | ReadMe.txt | 16366 | logplain |
| -rw-r--r-- | configure_profile.sh | 1541 | logplain |
| -rw-r--r-- | difftar-folder.sh | 2447 | logplain |
| -rwxr-xr-x | makecoq_mingw.sh | 70788 | logplain |
| d--------- | patches_coq | 598 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |