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-splash.png
66563
log
plain
-rw-r--r--
ProofGeneral.png
162068
log
plain
-rw-r--r--
README
904
log
plain
-rw-r--r--
epg-abort.png
307
log
plain
-rw-r--r--
epg-abort.xpm
908
log
plain
-rw-r--r--
epg-command.png
860
log
plain
-rw-r--r--
epg-command.xpm
4475
log
plain
-rw-r--r--
epg-context.png
889
log
plain
-rw-r--r--
epg-context.xpm
3291
log
plain
-rw-r--r--
epg-find.png
854
log
plain
-rw-r--r--
epg-find.xpm
3832
log
plain
-rw-r--r--
epg-goal.png
1068
log
plain
-rw-r--r--
epg-goal.xpm
5432
log
plain
-rw-r--r--
epg-goto.png
396
log
plain
-rw-r--r--
epg-goto.xpm
1447
log
plain
-rw-r--r--
epg-help.png
918
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
724
log
plain
-rw-r--r--
epg-info.xpm
3000
log
plain
-rw-r--r--
epg-interrupt.png
257
log
plain
-rw-r--r--
epg-interrupt.xpm
1047
log
plain
-rw-r--r--
epg-next.png
184
log
plain
-rw-r--r--
epg-next.xpm
786
log
plain
-rw-r--r--
epg-prooftree.png
347
log
plain
-rw-r--r--
epg-prooftree.xpm
776
log
plain
-rw-r--r--
epg-qed.png
1205
log
plain
-rw-r--r--
epg-qed.xpm
6551
log
plain
-rw-r--r--
epg-restart.png
228
log
plain
-rw-r--r--
epg-restart.xpm
789
log
plain
-rw-r--r--
epg-retract.png
187
log
plain
-rw-r--r--
epg-retract.xpm
789
log
plain
-rw-r--r--
epg-state.png
874
log
plain
-rw-r--r--
epg-state.xpm
3289
log
plain
-rw-r--r--
epg-undo.png
179
log
plain
-rw-r--r--
epg-undo.xpm
786
log
plain
-rw-r--r--
epg-use.png
189
log
plain
-rw-r--r--
epg-use.xpm
785
log
plain
-rw-r--r--
hiddenproof.xpm
1638
log
plain