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--
.cvsignore
24
log
plain
-rw-r--r--
Makefile
3005
log
plain
-rw-r--r--
ProofGeneral-headcrop.xcf
45758
log
plain
-rw-r--r--
ProofGeneral.8bit.gif
16547
log
plain
-rw-r--r--
ProofGeneral.gif
18165
log
plain
-rw-r--r--
ProofGeneral.jpg
16123
log
plain
-rw-r--r--
ProofGeneral.xcf
80632
log
plain
-rw-r--r--
README
207
log
plain
-rw-r--r--
blank.xcf
266
log
plain
-rw-r--r--
coq-badge.xcf
120521
log
plain
-rw-r--r--
favicon.icon
894
log
plain
-rw-r--r--
fireworks.xcf
99268
log
plain
d---------
gimp
72
log
plain
-rw-r--r--
goal_large.xcf
194264
log
plain
-rw-r--r--
hiddenproof.xcf
767
log
plain
-rw-r--r--
hiddenproof.xpm
1638
log
plain
-rw-r--r--
isabelle-badge.xcf
157845
log
plain
-rw-r--r--
lego-badge.xcf
135157
log
plain
-rw-r--r--
notes.txt
3225
log
plain
-rw-r--r--
pg-abort.8bit.xpm
1343
log
plain
-rw-r--r--
pg-abort.xcf
1865
log
plain
-rw-r--r--
pg-abort.xpm
1769
log
plain
-rw-r--r--
pg-command.8bit.xpm
1345
log
plain
-rw-r--r--
pg-command.xcf
2828
log
plain
-rw-r--r--
pg-command.xpm
7072
log
plain
-rw-r--r--
pg-context.8bit.xpm
1345
log
plain
-rw-r--r--
pg-context.xcf
2816
log
plain
-rw-r--r--
pg-context.xpm
4576
log
plain
-rw-r--r--
pg-find.8bit.xpm
1342
log
plain
-rw-r--r--
pg-find.xcf
3137
log
plain
-rw-r--r--
pg-find.xpm
5837
log
plain
-rw-r--r--
pg-goal.8bit.xpm
1342
log
plain
-rw-r--r--
pg-goal.xcf
3573
log
plain
-rw-r--r--
pg-goal.xpm
11069
log
plain
-rw-r--r--
pg-goto.8bit.xpm
1342
log
plain
-rw-r--r--
pg-goto.xcf
2230
log
plain
-rw-r--r--
pg-goto.xpm
2293
log
plain
-rw-r--r--
pg-help.8bit.xpm
1342
log
plain
-rw-r--r--
pg-help.xcf
3708
log
plain
-rw-r--r--
pg-help.xpm
7581
log
plain
-rw-r--r--
pg-info.8bit.xpm
1342
log
plain
-rw-r--r--
pg-info.xcf
2656
log
plain
-rw-r--r--
pg-info.xpm
2398
log
plain
-rw-r--r--
pg-interrupt.8bit.xpm
1347
log
plain
-rw-r--r--
pg-interrupt.xcf
2063
log
plain
-rw-r--r--
pg-interrupt.xpm
2013
log
plain
-rw-r--r--
pg-next.8bit.xpm
1342
log
plain
-rw-r--r--
pg-next.xcf
1118
log
plain
-rw-r--r--
pg-next.xpm
1588
log
plain
-rw-r--r--
pg-qed.8bit.xpm
1341
log
plain
-rw-r--r--
pg-qed.xcf
3613
log
plain
-rw-r--r--
pg-qed.xpm
10860
log
plain
-rw-r--r--
pg-restart.8bit.xpm
1345
log
plain
-rw-r--r--
pg-restart.xcf
1312
log
plain
-rw-r--r--
pg-restart.xpm
1531
log
plain
-rw-r--r--
pg-retract.8bit.xpm
1345
log
plain
-rw-r--r--
pg-retract.xcf
1673
log
plain
-rw-r--r--
pg-retract.xpm
1636
log
plain
-rw-r--r--
pg-state.8bit.xpm
1343
log
plain
-rw-r--r--
pg-state.xcf
2761
log
plain
-rw-r--r--
pg-state.xpm
4574
log
plain
-rw-r--r--
pg-text.8bit.gif
5859
log
plain
-rw-r--r--
pg-text.gif
7956
log
plain
-rw-r--r--
pg-text.jpg
7784
log
plain
-rw-r--r--
pg-text.xcf
38464
log
plain
-rw-r--r--
pg-undo.8bit.xpm
1342
log
plain
-rw-r--r--
pg-undo.xcf
1135
log
plain
-rw-r--r--
pg-undo.xpm
1588
log
plain
-rw-r--r--
pg-use.8bit.xpm
1341
log
plain
-rw-r--r--
pg-use.xcf
1575
log
plain
-rw-r--r--
pg-use.xpm
1632
log
plain