| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | ProofGeneral.xcf | 72366 | logplain |
| -rw-r--r-- | README | 186 | logplain |
| -rw-r--r-- | down.xbm | 897 | logplain |
| -rw-r--r-- | down.xpm | 1307 | logplain |
| -rw-r--r-- | goal.xbm | 897 | logplain |
| -rw-r--r-- | goal.xpm | 1307 | logplain |
| -rw-r--r-- | left.xbm | 897 | logplain |
| -rw-r--r-- | left.xpm | 1307 | logplain |
| -rw-r--r-- | qed.xbm | 894 | logplain |
| -rw-r--r-- | qed.xpm | 1306 | logplain |
| -rw-r--r-- | restart.xbm | 906 | logplain |
| -rw-r--r-- | restart.xpm | 1310 | logplain |
| -rw-r--r-- | right.xbm | 900 | logplain |
| -rw-r--r-- | right.xpm | 1308 | logplain |
| -rw-r--r-- | up.xbm | 891 | logplain |
| -rw-r--r-- | up.xpm | 1305 | logplain |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |