images - proof-general - Emacs interface for proof assistants

Mode	Name	Size
-rw-r--r--	Makefile	2339	log plain
-rw-r--r--	ProofGeneral.8bit.gif	10074	log plain
-rw-r--r--	ProofGeneral.gif	18306	log plain
-rw-r--r--	ProofGeneral.jpg	5461	log plain
-rw-r--r--	ProofGeneral.xcf	160011	log plain
-rw-r--r--	README	207	log plain
-rw-r--r--	blank.xcf	266	log plain
-rw-r--r--	fireworks.xcf	99268	log plain
d---------	gimp / scripts	34	log plain
-rw-r--r--	goal.8bit.xpm	1342	log plain
-rw-r--r--	goal.xbm	925	log plain
-rw-r--r--	goal.xcf	3573	log plain
-rw-r--r--	goal.xpm	11044	log plain
-rw-r--r--	goal_large.xcf	194264	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--	next.8bit.xpm	1342	log plain
-rw-r--r--	next.xbm	925	log plain
-rw-r--r--	next.xcf	1118	log plain
-rw-r--r--	next.xpm	1563	log plain
-rw-r--r--	notes.txt	980	log plain
-rw-r--r--	qed.8bit.xpm	1341	log plain
-rw-r--r--	qed.xbm	925	log plain
-rw-r--r--	qed.xcf	3613	log plain
-rw-r--r--	qed.xpm	10835	log plain
-rw-r--r--	restart.8bit.xpm	1345	log plain
-rw-r--r--	restart.xbm	925	log plain
-rw-r--r--	restart.xcf	1312	log plain
-rw-r--r--	restart.xpm	1506	log plain
-rw-r--r--	retract.8bit.xpm	1345	log plain
-rw-r--r--	retract.xbm	925	log plain
-rw-r--r--	retract.xcf	1673	log plain
-rw-r--r--	retract.xpm	1596	log plain
-rw-r--r--	text_general.8bit.gif	2647	log plain
-rw-r--r--	text_general.gif	5445	log plain
-rw-r--r--	text_general.xcf	35038	log plain
-rw-r--r--	text_proof.8bit.gif	2263	log plain
-rw-r--r--	text_proof.gif	4695	log plain
-rw-r--r--	text_proof.xcf	28343	log plain
-rw-r--r--	undo.8bit.xpm	1342	log plain
-rw-r--r--	undo.xbm	925	log plain
-rw-r--r--	undo.xcf	1135	log plain
-rw-r--r--	undo.xpm	1563	log plain
-rw-r--r--	use.8bit.xpm	1341	log plain
-rw-r--r--	use.xbm	925	log plain
-rw-r--r--	use.xcf	1575	log plain
-rw-r--r--	use.xpm	1592	log plain