| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | af2-font.el | 3502 | logplain |
| -rw-r--r-- | af2-fun.el | 2796 | logplain |
| -rw-r--r-- | af2-outline.el | 1970 | logplain |
| -rw-r--r-- | af2-tags.el | 2383 | logplain |
| -rw-r--r-- | af2.el | 6715 | logplain |
| -rw-r--r-- | example.af2 | 70 | logplain |
| -rw-r--r-- | sym-lock.el | 11530 | logplain |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |