| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | README | 413 | logplain |
| -rw-r--r-- | example.af2 | 132 | logplain |
| -rw-r--r-- | phox-font.el | 3537 | logplain |
| -rw-r--r-- | phox-fun.el | 4844 | logplain |
| -rw-r--r-- | phox-outline.el | 1996 | logplain |
| -rw-r--r-- | phox-tags.el | 2400 | logplain |
| -rw-r--r-- | phox.el | 7418 | logplain |
| -rw-r--r-- | sym-lock.el | 11614 | logplain |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |