| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | ProofGeneral.gif | 18165 | logplain |
| -rw-r--r-- | ProofGeneral.jpg | 16123 | logplain |
| -rw-r--r-- | README | 452 | logplain |
| d--------- | gimp | 38 | logplain |
| -rw-r--r-- | hiddenproof.xpm | 1638 | logplain |
| -rw-r--r-- | pg-abort.xpm | 1769 | logplain |
| -rw-r--r-- | pg-command.xpm | 7072 | logplain |
| -rw-r--r-- | pg-context.xpm | 4576 | logplain |
| -rw-r--r-- | pg-find.xpm | 5837 | logplain |
| -rw-r--r-- | pg-goal.xpm | 11069 | logplain |
| -rw-r--r-- | pg-goto.xpm | 2293 | logplain |
| -rw-r--r-- | pg-help.xpm | 7581 | logplain |
| -rw-r--r-- | pg-info.xpm | 2398 | logplain |
| -rw-r--r-- | pg-interrupt.xpm | 2013 | logplain |
| -rw-r--r-- | pg-next.xpm | 1588 | logplain |
| -rw-r--r-- | pg-qed.xpm | 10860 | logplain |
| -rw-r--r-- | pg-restart.xpm | 1531 | logplain |
| -rw-r--r-- | pg-retract.xpm | 1636 | logplain |
| -rw-r--r-- | pg-state.xpm | 4574 | logplain |
| -rw-r--r-- | pg-undo.xpm | 1588 | logplain |
| -rw-r--r-- | pg-use.xpm | 1632 | logplain |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |
