| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | holes.el | 26559 | logplain |
| -rw-r--r-- | span-extent.el | 4252 | logplain |
| -rw-r--r-- | span-overlay.el | 12099 | logplain |
| -rw-r--r-- | texi-docstring-magic.el | 14204 | logplain |
| -rw-r--r-- | xml.el | 29313 | logplain |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |