| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | ProofGeneral.xcf | 160011 | logplain |
| -rw-r--r-- | README | 207 | logplain |
| -rw-r--r-- | blank.xcf | 266 | logplain |
| -rw-r--r-- | fireworks.xcf | 99268 | logplain |
| -rw-r--r-- | goal.xbm | 897 | logplain |
| -rw-r--r-- | goal.xcf | 3573 | logplain |
| -rw-r--r-- | goal.xpm | 11044 | logplain |
| -rw-r--r-- | goal_large.xcf | 194264 | logplain |
| -rw-r--r-- | next.xcf | 1144 | logplain |
| -rw-r--r-- | next.xpm | 1503 | logplain |
| -rw-r--r-- | notes.txt | 798 | logplain |
| -rw-r--r-- | qed.xbm | 894 | logplain |
| -rw-r--r-- | qed.xcf | 3613 | logplain |
| -rw-r--r-- | qed.xpm | 10835 | logplain |
| -rw-r--r-- | restart.xbm | 906 | logplain |
| -rw-r--r-- | restart.xcf | 1301 | logplain |
| -rw-r--r-- | restart.xpm | 1491 | logplain |
| -rw-r--r-- | retract.xcf | 1125 | logplain |
| -rw-r--r-- | retract.xpm | 1491 | logplain |
| -rw-r--r-- | text_general.xcf | 35038 | logplain |
| -rw-r--r-- | text_proof.xcf | 27353 | logplain |
| -rw-r--r-- | undo.xcf | 1185 | logplain |
| -rw-r--r-- | undo.xpm | 1488 | logplain |
| -rw-r--r-- | use.xcf | 1016 | logplain |
| -rw-r--r-- | use.xpm | 1487 | logplain |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |