aboutsummaryrefslogtreecommitdiffhomepage
path: root/images
ModeNameSize
-rw-r--r--.cvsignore24logplain
-rw-r--r--Makefile3030logplain
-rw-r--r--ProofGeneral.8bit.gif16547logplain
-rw-r--r--ProofGeneral.gif18165logplain
-rw-r--r--ProofGeneral.jpg16123logplain
-rw-r--r--ProofGeneral.xcf80632logplain
-rw-r--r--README207logplain
-rw-r--r--abort.8bit.xpm1343logplain
-rw-r--r--abort.xcf1865logplain
-rw-r--r--abort.xpm1769logplain
-rw-r--r--blank.xcf266logplain
-rw-r--r--command.8bit.xpm1345logplain
-rw-r--r--command.xcf2828logplain
-rw-r--r--command.xpm7072logplain
-rw-r--r--context.8bit.xpm1345logplain
-rw-r--r--context.xcf2816logplain
-rw-r--r--context.xpm4576logplain
-rw-r--r--coq-badge.xcf120521logplain
-rw-r--r--find.8bit.xpm1342logplain
-rw-r--r--find.xcf3137logplain
-rw-r--r--find.xpm5837logplain
-rw-r--r--fireworks.xcf99268logplain
d---------gimp72logplain
-rw-r--r--goal.8bit.xpm1342logplain
-rw-r--r--goal.xcf3573logplain
-rw-r--r--goal.xpm11069logplain
-rw-r--r--goal_large.xcf194264logplain
-rw-r--r--goto.8bit.xpm1342logplain
-rw-r--r--goto.xcf2230logplain
-rw-r--r--goto.xpm2293logplain
-rw-r--r--help.8bit.xpm1342logplain
-rw-r--r--help.xcf3708logplain
-rw-r--r--help.xpm7581logplain
-rw-r--r--hiddenproof.xcf767logplain
-rw-r--r--hiddenproof.xpm1638logplain
-rw-r--r--info.8bit.xpm1342logplain
-rw-r--r--info.xcf2656logplain
-rw-r--r--info.xpm2398logplain
-rw-r--r--interrupt.8bit.xpm1347logplain
-rw-r--r--interrupt.xcf2063logplain
-rw-r--r--interrupt.xpm2013logplain
-rw-r--r--isabelle-badge.xcf157845logplain
-rw-r--r--isabelle_transparent.8bit.gif7407logplain
-rw-r--r--isabelle_transparent.gif9365logplain
-rw-r--r--isabelle_transparent.xcf37982logplain
-rw-r--r--lego-badge.xcf135157logplain
-rw-r--r--next.8bit.xpm1342logplain
-rw-r--r--next.xcf1118logplain
-rw-r--r--next.xpm1588logplain
-rw-r--r--notes.txt3225logplain
-rw-r--r--pg-text.8bit.gif5859logplain
-rw-r--r--pg-text.gif7956logplain
-rw-r--r--pg-text.jpg7784logplain
-rw-r--r--pg-text.xcf38464logplain
-rw-r--r--pgicon.png4213logplain
-rw-r--r--pgmini.xpm4182logplain
-rw-r--r--qed.8bit.xpm1341logplain
-rw-r--r--qed.xcf3613logplain
-rw-r--r--qed.xpm10860logplain
-rw-r--r--restart.8bit.xpm1345logplain
-rw-r--r--restart.xcf1312logplain
-rw-r--r--restart.xpm1531logplain
-rw-r--r--retract.8bit.xpm1345logplain
-rw-r--r--retract.xcf1673logplain
-rw-r--r--retract.xpm1636logplain
-rw-r--r--state.8bit.xpm1343logplain
-rw-r--r--state.xcf2761logplain
-rw-r--r--state.xpm4574logplain
-rw-r--r--undo.8bit.xpm1342logplain
-rw-r--r--undo.xcf1135logplain
-rw-r--r--undo.xpm1588logplain
-rw-r--r--use.8bit.xpm1341logplain
-rw-r--r--use.xcf1575logplain
-rw-r--r--use.xpm1632logplain