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
3063
log
plain
-rw-r--r--
ProofGeneral.8bit.gif
16547
log
plain
-rw-r--r--
ProofGeneral.gif
34550
log
plain
-rw-r--r--
ProofGeneral.jpg
12002
log
plain
-rw-r--r--
ProofGeneral.xcf
212954
log
plain
-rw-r--r--
README
207
log
plain
-rw-r--r--
blank.xcf
266
log
plain
-rw-r--r--
command.8bit.xpm
1345
log
plain
-rw-r--r--
command.xbm
925
log
plain
-rw-r--r--
command.xcf
1575
log
plain
-rw-r--r--
command.xpm
1636
log
plain
-rw-r--r--
context.8bit.xpm
1345
log
plain
-rw-r--r--
context.xbm
925
log
plain
-rw-r--r--
context.xcf
3724
log
plain
-rw-r--r--
context.xpm
11072
log
plain
-rw-r--r--
coq-badge.xcf
120521
log
plain
-rw-r--r--
fireworks.xcf
99268
log
plain
d---------
gimp
72
log
plain
-rw-r--r--
goal.8bit.xpm
1342
log
plain
-rw-r--r--
goal.xbm
925
log
plain
-rw-r--r--
goal.xcf
3573
log
plain
-rw-r--r--
goal.xpm
11069
log
plain
-rw-r--r--
goal_large.xcf
194264
log
plain
-rw-r--r--
info.8bit.xpm
1342
log
plain
-rw-r--r--
info.xbm
925
log
plain
-rw-r--r--
info.xcf
2656
log
plain
-rw-r--r--
info.xpm
2398
log
plain
-rw-r--r--
isabelle-badge.xcf
157845
log
plain
-rw-r--r--
isabelle_transparent.8bit.gif
7407
log
plain
-rw-r--r--
isabelle_transparent.gif
9365
log
plain
-rw-r--r--
isabelle_transparent.xcf
37982
log
plain
-rw-r--r--
lego-badge.xcf
135157
log
plain
-rw-r--r--
next.8bit.xpm
1342
log
plain
-rw-r--r--
next.xbm
925
log
plain
-rw-r--r--
next.xcf
1118
log
plain
-rw-r--r--
next.xpm
1588
log
plain
-rw-r--r--
notes.txt
2749
log
plain
-rw-r--r--
pg-text.8bit.gif
5859
log
plain
-rw-r--r--
pg-text.gif
13428
log
plain
-rw-r--r--
pg-text.jpg
7784
log
plain
-rw-r--r--
pg-text.xcf
81232
log
plain
-rw-r--r--
qed.8bit.xpm
1341
log
plain
-rw-r--r--
qed.xbm
925
log
plain
-rw-r--r--
qed.xcf
3613
log
plain
-rw-r--r--
qed.xpm
10860
log
plain
-rw-r--r--
restart.8bit.xpm
1345
log
plain
-rw-r--r--
restart.xbm
925
log
plain
-rw-r--r--
restart.xcf
1312
log
plain
-rw-r--r--
restart.xpm
1531
log
plain
-rw-r--r--
retract.8bit.xpm
1345
log
plain
-rw-r--r--
retract.xbm
925
log
plain
-rw-r--r--
retract.xcf
1673
log
plain
-rw-r--r--
retract.xpm
1636
log
plain
-rw-r--r--
show.xcf
2747
log
plain
-rw-r--r--
show.xpm
4573
log
plain
-rw-r--r--
state.8bit.xpm
1342
log
plain
-rw-r--r--
state.xbm
925
log
plain
-rw-r--r--
undo.8bit.xpm
1342
log
plain
-rw-r--r--
undo.xbm
925
log
plain
-rw-r--r--
undo.xcf
1135
log
plain
-rw-r--r--
undo.xpm
1588
log
plain
-rw-r--r--
use.8bit.xpm
1341
log
plain
-rw-r--r--
use.xbm
925
log
plain
-rw-r--r--
use.xcf
1575
log
plain
-rw-r--r--
use.xpm
1632
log
plain