| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | README | 235 | logplain |
| -rw-r--r-- | bufhist.el | 12996 | logplain |
| -rw-r--r-- | holes.el | 26287 | logplain |
| -rw-r--r-- | local-vars-list.el | 5671 | logplain |
| -rw-r--r-- | maths-menu.el | 13801 | logplain |
| -rw-r--r-- | pg-dev.el | 5634 | logplain |
| -rw-r--r-- | pg-fontsets.el | 2378 | logplain |
| -rw-r--r-- | proof-compat.el | 4581 | logplain |
| -rw-r--r-- | scomint.el | 11749 | logplain |
| -rw-r--r-- | span.el | 8866 | logplain |
| -rw-r--r-- | texi-docstring-magic.el | 14691 | logplain |
| -rw-r--r-- | unicode-chars.el | 246946 | logplain |
| -rw-r--r-- | unicode-tokens.el | 54113 | logplain |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |