| Mode | Name | Size | |
|---|---|---|---|
| d--------- | arg | 73 | logplain |
| d--------- | compat-subdirs | 106 | logplain |
| d--------- | coqdoc1 | 73 | logplain |
| d--------- | coqdoc2 | 73 | logplain |
| d--------- | extend-subdirs | 148 | logplain |
| d--------- | latex1 | 73 | logplain |
| d--------- | merlin1 | 73 | logplain |
| d--------- | mlpack1 | 73 | logplain |
| d--------- | mlpack2 | 73 | logplain |
| d--------- | multiroot | 73 | logplain |
| d--------- | native1 | 73 | logplain |
| d--------- | only | 73 | logplain |
| d--------- | plugin-reach-outside-API-and-fail | 34 | logplain |
| d--------- | plugin-reach-outside-API-and-succeed-by-bypassing-the-API | 34 | logplain |
| d--------- | plugin1 | 73 | logplain |
| d--------- | plugin2 | 73 | logplain |
| d--------- | plugin3 | 73 | logplain |
| d--------- | template | 100 | logplain |
| d--------- | uninstall1 | 73 | logplain |
| d--------- | uninstall2 | 73 | logplain |
| d--------- | validate1 | 73 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |