| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .cvsignore | 80 | logplain |
| -rw-r--r-- | README | 458 | logplain |
| -rw-r--r-- | README.pbrpm | 628 | logplain |
| -rw-r--r-- | example.phx | 259 | logplain |
| -rw-r--r-- | phox-extraction.el | 5520 | logplain |
| -rw-r--r-- | phox-font.el | 3507 | logplain |
| -rw-r--r-- | phox-fun.el | 12604 | logplain |
| -rw-r--r-- | phox-lang.el | 1732 | logplain |
| -rw-r--r-- | phox-outline.el | 2467 | logplain |
| -rw-r--r-- | phox-pbrpm.el | 11703 | logplain |
| -rw-r--r-- | phox-sym-lock.el | 15404 | logplain |
| -rw-r--r-- | phox-tags.el | 2818 | logplain |
| -rw-r--r-- | phox.el | 7007 | logplain |
| -rw-r--r-- | square-root-2.phx | 7690 | logplain |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |