/images/
../
.cvsignore
Makefile
ProofGeneral-headcrop.xcf
ProofGeneral.8bit.gif
ProofGeneral.gif
ProofGeneral.jpg
ProofGeneral.xcf
README
blank.xcf
context.xpm
coq-badge.xcf
favicon.icon
fireworks.xcf
gimp
goal.8bit.xpm
goal.xcf
goal.xpm
goal_large.xcf
goto.8bit.xpm
goto.xcf
goto.xpm
hiddenproof.xcf
hiddenproof.xpm
info-abort.8bit.xpm
info-abort.xcf
info-abort.xpm
info-command.8bit.xpm
info-command.xcf
info-command.xpm
info-context.8bit.xpm
info-context.xcf
info-find.8bit.xpm
info-find.xcf
info-find.xpm
info-info.8bit.xpm
info-info.xcf
info-info.xpm
info-next.8bit.xpm
info-next.xcf
info-next.xpm
interrupt.8bit.xpm
interrupt.xcf
interrupt.xpm
isabelle-badge.xcf
lego-badge.xcf
notes.txt
pg-help.8bit.xpm
pg-help.xcf
pg-help.xpm
pg-text.8bit.gif
pg-text.gif
pg-text.jpg
pg-text.xcf
pg-undo.8bit.xpm
pg-undo.xcf
pg-undo.xpm
qed.8bit.xpm
qed.xcf
qed.xpm
restart.8bit.xpm
restart.xcf
restart.xpm
retract.8bit.xpm
retract.xcf
retract.xpm
state.8bit.xpm
state.xcf
state.xpm
use.8bit.xpm
use.xcf
use.xpm