| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | README | 186 | logplain |
| -rw-r--r-- | down.xpm | 8596 | logplain |
| -rw-r--r-- | goal.xpm | 14772 | logplain |
| -rw-r--r-- | left.xpm | 8596 | logplain |
| -rw-r--r-- | qed.xpm | 7507 | logplain |
| -rw-r--r-- | recycle.xpm | 11959 | logplain |
| -rw-r--r-- | right.xpm | 8597 | logplain |
| -rw-r--r-- | up.xpm | 8594 | logplain |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |