| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | UndoFail.v | 983 | logplain |
| -rw-r--r-- | bug-114.v | 230 | logplain |
| -rw-r--r-- | bug-447.v | 4591 | logplain |
| -rw-r--r-- | highlighterror.v | 255 | logplain |
| -rw-r--r-- | indent.v | 1855 | logplain |
| -rw-r--r-- | lostmessages.v | 328 | logplain |
| d--------- | multiple-plain | 127 | logplain |
| d--------- | multiple | 296 | logplain |
| -rw-r--r-- | naming.v | 1122 | logplain |
| -rw-r--r-- | nested.v | 3321 | logplain |
| -rw-r--r-- | parsing.v | 234 | logplain |
| -rw-r--r-- | parsingcheck-410.v | 135 | logplain |
| -rw-r--r-- | parsingdot.v | 1814 | logplain |
| -rw-r--r-- | queryreplace.v | 1447 | logplain |
| -rw-r--r-- | xemacs21528.v | 434 | logplain |
| -rw-r--r-- | xsymboltest.v | 1200 | logplain |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |