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--
Makefile
2164
log
plain
-rw-r--r--
ProofGeneral.gif
5964
log
plain
-rw-r--r--
ProofGeneral.xcf
160011
log
plain
-rw-r--r--
README
207
log
plain
-rw-r--r--
blank.xcf
266
log
plain
-rw-r--r--
fireworks.xcf
99268
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
11044
log
plain
-rw-r--r--
goal_large.xcf
194264
log
plain
-rw-r--r--
next.8bit.xpm
1342
log
plain
-rw-r--r--
next.xbm
925
log
plain
-rw-r--r--
next.xcf
1144
log
plain
-rw-r--r--
next.xpm
1503
log
plain
-rw-r--r--
notes.txt
798
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
10835
log
plain
-rw-r--r--
restart.8bit.xpm
1345
log
plain
-rw-r--r--
restart.xbm
925
log
plain
-rw-r--r--
restart.xcf
1301
log
plain
-rw-r--r--
restart.xpm
1491
log
plain
-rw-r--r--
retract.8bit.xpm
1345
log
plain
-rw-r--r--
retract.xbm
925
log
plain
-rw-r--r--
retract.xcf
1125
log
plain
-rw-r--r--
retract.xpm
1491
log
plain
-rw-r--r--
text_general.gif
2309
log
plain
-rw-r--r--
text_general.xcf
35038
log
plain
-rw-r--r--
text_proof.gif
1904
log
plain
-rw-r--r--
text_proof.xcf
27353
log
plain
-rw-r--r--
undo.8bit.xpm
1342
log
plain
-rw-r--r--
undo.xbm
925
log
plain
-rw-r--r--
undo.xcf
1185
log
plain
-rw-r--r--
undo.xpm
1488
log
plain
-rw-r--r--
use.8bit.xpm
1341
log
plain
-rw-r--r--
use.xbm
925
log
plain
-rw-r--r--
use.xcf
1016
log
plain
-rw-r--r--
use.xpm
1487
log
plain