images - proof-general - Emacs interface for proof assistants

Mode	Name	Size
-rw-r--r--	.cvsignore	24	log plain
-rw-r--r--	Makefile	3408	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	438	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--	new-next-plus-scanned-path-junk.svg	6371	log plain
-rw-r--r--	new-pg-context.svg	5544	log plain
-rw-r--r--	new-pg-find.svg	22268	log plain
-rw-r--r--	new-pg-goto.svg	7169	log plain
-rw-r--r--	new-pg-help.svg	7095	log plain
-rw-r--r--	new-pg-interrupt.svg	7193	log plain
-rw-r--r--	new-pg-next.svg	5571	log plain
-rw-r--r--	new-pg-restart.svg	8493	log plain
-rw-r--r--	new-pg-retract.svg	5970	log plain
-rw-r--r--	new-pg-undo.svg	5640	log plain
-rw-r--r--	new-pg-use.svg	5880	log plain
-rw-r--r--	next-plus-scanned-path-junk.svg	6371	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.svg	5544	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.svg	22268	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.svg	7169	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.svg	7095	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.svg	7193	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.svg	5571	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.svg	8491	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.svg	5970	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.svg	5640	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.svg	5880	log plain
-rw-r--r--	pg-use.xcf	1575	log plain
-rw-r--r--	pg-use.xpm	1632	log plain