| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .cvsignore | 69 | logplain |
| -rw-r--r-- | README | 471 | logplain |
| -rw-r--r-- | example.phx | 259 | logplain |
| -rw-r--r-- | phox-extraction.el | 5395 | logplain |
| -rw-r--r-- | phox-font.el | 3284 | logplain |
| -rw-r--r-- | phox-fun.el | 12130 | logplain |
| -rw-r--r-- | phox-outline.el | 1996 | logplain |
| -rw-r--r-- | phox-sym-lock.el | 14110 | logplain |
| -rw-r--r-- | phox-tags.el | 3561 | logplain |
| -rw-r--r-- | phox.el | 9184 | logplain |
| -rw-r--r-- | x-symbol-phox.el | 6819 | logplain |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |