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
427
log
plain
-rw-r--r--
epg-abort.xpm
1241
log
plain
-rw-r--r--
epg-command.png
958
log
plain
-rw-r--r--
epg-command.xpm
5086
log
plain
-rw-r--r--
epg-context.png
946
log
plain
-rw-r--r--
epg-context.xpm
3710
log
plain
-rw-r--r--
epg-find.png
867
log
plain
-rw-r--r--
epg-find.xpm
4443
log
plain
-rw-r--r--
epg-goal.png
1080
log
plain
-rw-r--r--
epg-goal.xpm
5595
log
plain
-rw-r--r--
epg-goto.png
639
log
plain
-rw-r--r--
epg-goto.xpm
1735
log
plain
-rw-r--r--
epg-help.png
1118
log
plain
-rw-r--r--
epg-help.xpm
6315
log
plain
-rw-r--r--
epg-info.png
662
log
plain
-rw-r--r--
epg-info.xpm
1392
log
plain
-rw-r--r--
epg-interrupt.png
509
log
plain
-rw-r--r--
epg-interrupt.xpm
1575
log
plain
-rw-r--r--
epg-next.png
277
log
plain
-rw-r--r--
epg-next.xpm
940
log
plain
-rw-r--r--
epg-qed.png
1125
log
plain
-rw-r--r--
epg-qed.xpm
7066
log
plain
-rw-r--r--
epg-restart.png
350
log
plain
-rw-r--r--
epg-restart.xpm
883
log
plain
-rw-r--r--
epg-retract.png
315
log
plain
-rw-r--r--
epg-retract.xpm
988
log
plain
-rw-r--r--
epg-state.png
965
log
plain
-rw-r--r--
epg-state.xpm
3708
log
plain
-rw-r--r--
epg-undo.png
283
log
plain
-rw-r--r--
epg-undo.xpm
940
log
plain
-rw-r--r--
epg-use.png
316
log
plain
-rw-r--r--
epg-use.xpm
984
log
plain
d---------
gimp
38
log
plain
-rw-r--r--
hiddenproof.xpm
1638
log
plain
-rw-r--r--
pg-abort.xpm
1769
log
plain
-rw-r--r--
pg-command.xpm
7072
log
plain
-rw-r--r--
pg-context.xpm
4576
log
plain
-rw-r--r--
pg-find.xpm
5837
log
plain
-rw-r--r--
pg-goal.xpm
11069
log
plain
-rw-r--r--
pg-goto.xpm
2221
log
plain
-rw-r--r--
pg-help.xpm
7581
log
plain
-rw-r--r--
pg-info.xpm
2398
log
plain
-rw-r--r--
pg-interrupt.xpm
2013
log
plain
-rw-r--r--
pg-next.xpm
1588
log
plain
-rw-r--r--
pg-qed.xpm
10860
log
plain
-rw-r--r--
pg-restart.xpm
1531
log
plain
-rw-r--r--
pg-retract.xpm
1636
log
plain
-rw-r--r--
pg-state.xpm
4574
log
plain
-rw-r--r--
pg-undo.xpm
1588
log
plain
-rw-r--r--
pg-use.xpm
1632
log
plain