| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | indent.v | 1631 | logplain |
| d--------- | multiple | 165 | logplain |
| -rw-r--r-- | naming.v | 959 | logplain |
| -rw-r--r-- | nested.v | 3321 | logplain |
| -rw-r--r-- | parsing.v | 234 | logplain |
| -rw-r--r-- | parsingdot.v | 1814 | logplain |
| -rw-r--r-- | queryreplace.v | 1447 | logplain |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |