images - proof-general - Emacs interface for proof assistants

Mode	Name	Size
-rw-r--r--	.cvsignore	24	log plain
-rw-r--r--	Makefile	3030	log plain
-rw-r--r--	ProofGeneral.8bit.gif	16547	log plain
-rw-r--r--	ProofGeneral.gif	18165	log plain
-rw-r--r--	ProofGeneral.jpg	14368	log plain
-rw-r--r--	ProofGeneral.xcf	80632	log plain
-rw-r--r--	README	207	log plain
-rw-r--r--	abort.8bit.xpm	1343	log plain
-rw-r--r--	abort.xcf	1865	log plain
-rw-r--r--	abort.xpm	1769	log plain
-rw-r--r--	blank.xcf	266	log plain
-rw-r--r--	command.8bit.xpm	1345	log plain
-rw-r--r--	command.xcf	2828	log plain
-rw-r--r--	command.xpm	7072	log plain
-rw-r--r--	context.8bit.xpm	1345	log plain
-rw-r--r--	context.xcf	2816	log plain
-rw-r--r--	context.xpm	4576	log plain
-rw-r--r--	coq-badge.xcf	120521	log plain
-rw-r--r--	find.8bit.xpm	1342	log plain
-rw-r--r--	find.xcf	3137	log plain
-rw-r--r--	find.xpm	5837	log plain
-rw-r--r--	fireworks.xcf	99268	log plain
d---------	gimp	72	log plain
-rw-r--r--	goal.8bit.xpm	1342	log plain
-rw-r--r--	goal.xcf	3573	log plain
-rw-r--r--	goal.xpm	11069	log plain
-rw-r--r--	goal_large.xcf	194264	log plain
-rw-r--r--	goto.8bit.xpm	1342	log plain
-rw-r--r--	goto.xcf	2230	log plain
-rw-r--r--	goto.xpm	2268	log plain
-rw-r--r--	help.8bit.xpm	1342	log plain
-rw-r--r--	help.xcf	3708	log plain
-rw-r--r--	help.xpm	7581	log plain
-rw-r--r--	info.8bit.xpm	1342	log plain
-rw-r--r--	info.xcf	2656	log plain
-rw-r--r--	info.xpm	2398	log plain
-rw-r--r--	interrupt.8bit.xpm	1347	log plain
-rw-r--r--	interrupt.xcf	2063	log plain
-rw-r--r--	interrupt.xpm	2013	log plain
-rw-r--r--	isabelle-badge.xcf	157845	log plain
-rw-r--r--	isabelle_transparent.8bit.gif	7407	log plain
-rw-r--r--	isabelle_transparent.gif	9365	log plain
-rw-r--r--	isabelle_transparent.xcf	37982	log plain
-rw-r--r--	lego-badge.xcf	135157	log plain
-rw-r--r--	next.8bit.xpm	1342	log plain
-rw-r--r--	next.xcf	1118	log plain
-rw-r--r--	next.xpm	1588	log plain
-rw-r--r--	notes.txt	2782	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--	qed.8bit.xpm	1341	log plain
-rw-r--r--	qed.xcf	3613	log plain
-rw-r--r--	qed.xpm	10860	log plain
-rw-r--r--	restart.8bit.xpm	1345	log plain
-rw-r--r--	restart.xcf	1312	log plain
-rw-r--r--	restart.xpm	1531	log plain
-rw-r--r--	retract.8bit.xpm	1345	log plain
-rw-r--r--	retract.xcf	1673	log plain
-rw-r--r--	retract.xpm	1636	log plain
-rw-r--r--	state.8bit.xpm	1343	log plain
-rw-r--r--	state.xcf	2761	log plain
-rw-r--r--	state.xpm	4574	log plain
-rw-r--r--	undo.8bit.xpm	1342	log plain
-rw-r--r--	undo.xcf	1135	log plain
-rw-r--r--	undo.xpm	1588	log plain
-rw-r--r--	use.8bit.xpm	1341	log plain
-rw-r--r--	use.xcf	1575	log plain
-rw-r--r--	use.xpm	1632	log plain