index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
images
Mode
Name
Size
-rw-r--r--
ProofGeneral.gif
18165
log
plain
-rw-r--r--
ProofGeneral.jpg
16123
log
plain
-rw-r--r--
README
588
log
plain
-rw-r--r--
epg-abort.png
319
log
plain
-rw-r--r--
epg-abort.xpm
908
log
plain
-rw-r--r--
epg-command.png
764
log
plain
-rw-r--r--
epg-command.xpm
4475
log
plain
-rw-r--r--
epg-context.png
820
log
plain
-rw-r--r--
epg-context.xpm
3291
log
plain
-rw-r--r--
epg-find.png
733
log
plain
-rw-r--r--
epg-find.xpm
3832
log
plain
-rw-r--r--
epg-goal.png
996
log
plain
-rw-r--r--
epg-goal.xpm
5432
log
plain
-rw-r--r--
epg-goto.png
448
log
plain
-rw-r--r--
epg-goto.xpm
1447
log
plain
-rw-r--r--
epg-help.png
829
log
plain
-rw-r--r--
epg-help.xpm
4840
log
plain
-rw-r--r--
epg-home.png
848
log
plain
-rw-r--r--
epg-home.xpm
2803
log
plain
-rw-r--r--
epg-info.png
721
log
plain
-rw-r--r--
epg-info.xpm
3000
log
plain
-rw-r--r--
epg-interrupt.png
287
log
plain
-rw-r--r--
epg-interrupt.xpm
1047
log
plain
-rw-r--r--
epg-next.png
202
log
plain
-rw-r--r--
epg-next.xpm
786
log
plain
-rw-r--r--
epg-qed.png
1102
log
plain
-rw-r--r--
epg-qed.xpm
6551
log
plain
-rw-r--r--
epg-restart.png
273
log
plain
-rw-r--r--
epg-restart.xpm
789
log
plain
-rw-r--r--
epg-retract.png
212
log
plain
-rw-r--r--
epg-retract.xpm
789
log
plain
-rw-r--r--
epg-state.png
817
log
plain
-rw-r--r--
epg-state.xpm
3289
log
plain
-rw-r--r--
epg-undo.png
198
log
plain
-rw-r--r--
epg-undo.xpm
786
log
plain
-rw-r--r--
epg-use.png
203
log
plain
-rw-r--r--
epg-use.xpm
785
log
plain
d---------
gimp
38
log
plain
-rw-r--r--
hiddenproof.xpm
1638
log
plain