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	452	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	38	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--	notes.txt	3225	log plain
-rw-r--r--	pg-abort.xcf	1773	log plain
-rw-r--r--	pg-abort.xpm	1769	log plain
-rw-r--r--	pg-command.xcf	2385	log plain
-rw-r--r--	pg-command.xpm	7072	log plain
-rw-r--r--	pg-context.xcf	2495	log plain
-rw-r--r--	pg-context.xpm	4576	log plain
-rw-r--r--	pg-find.xcf	2547	log plain
-rw-r--r--	pg-find.xpm	5837	log plain
-rw-r--r--	pg-goal.xcf	2434	log plain
-rw-r--r--	pg-goal.xpm	11069	log plain
-rw-r--r--	pg-goto.xcf	1927	log plain
-rw-r--r--	pg-goto.xpm	2293	log plain
-rw-r--r--	pg-help.xcf	2697	log plain
-rw-r--r--	pg-help.xpm	7581	log plain
-rw-r--r--	pg-info.xcf	2198	log plain
-rw-r--r--	pg-info.xpm	2398	log plain
-rw-r--r--	pg-interrupt.xcf	1410	log plain
-rw-r--r--	pg-interrupt.xpm	2013	log plain
-rw-r--r--	pg-next.xcf	928	log plain
-rw-r--r--	pg-next.xpm	1588	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.xcf	1082	log plain
-rw-r--r--	pg-restart.xpm	1531	log plain
-rw-r--r--	pg-retract.xcf	1436	log plain
-rw-r--r--	pg-retract.xpm	1636	log plain
-rw-r--r--	pg-state.xcf	2657	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.xcf	932	log plain
-rw-r--r--	pg-undo.xpm	1588	log plain
-rw-r--r--	pg-use.xcf	1508	log plain
-rw-r--r--	pg-use.xpm	1632	log plain