| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | README | 235 | logplain |
| -rw-r--r-- | bufhist.el | 12433 | logplain |
| -rw-r--r-- | holes-load.el | 531 | logplain |
| -rw-r--r-- | holes.el | 27849 | logplain |
| -rw-r--r-- | local-vars-list.el | 7130 | logplain |
| -rw-r--r-- | maths-menu.el | 12902 | logplain |
| -rw-r--r-- | pg-dev.el | 2857 | logplain |
| -rw-r--r-- | proof-compat.el | 20785 | logplain |
| -rw-r--r-- | span-extent.el | 4065 | logplain |
| -rw-r--r-- | span-overlay.el | 7816 | logplain |
| -rw-r--r-- | span.el | 1031 | logplain |
| -rw-r--r-- | texi-docstring-magic.el | 14396 | logplain |
| -rw-r--r-- | unichars.el | 332575 | logplain |
| -rw-r--r-- | xml-fixed.el | 16240 | logplain |
| -rw-r--r-- | xmlunicode.el | 31114 | logplain |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |