| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | indent.v | 1631 | logplain |
| d--------- | multiple | 296 | 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 |
| -rw-r--r-- | xsymboltest.v | 1200 | logplain |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |