| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | ReplaceInFile.nsh | 1578 | logplain |
| -rw-r--r-- | StrRep.nsh | 1107 | logplain |
| -rw-r--r-- | VST.patch | 560 | logplain |
| -rw-r--r-- | coq_new.nsi | 12080 | logplain |
| -rw-r--r-- | flexdll-0.37.patch | 963 | logplain |
| -rw-r--r-- | isl-0.14.patch | 329 | logplain |
| -rw-r--r-- | lablgtk-3.0.beta5.patch | 2607 | logplain |
| -rw-r--r-- | ln.c | 3971 | logplain |
| -rwxr-xr-x | pkg-config.c | 895 | logplain |
| -rw-r--r-- | quickchick.patch | 1092 | logplain |
| -rw-r--r-- | sed-4.2.2-3.src.patch | 47066 | logplain |
| -rw-r--r-- | sed-4.2.2.patch | 46866 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |