images - proof-general - Emacs interface for proof assistants

Mode	Name	Size
-rw-r--r--	.cvsignore	15	log plain
-rw-r--r--	Makefile	3063	log plain
-rw-r--r--	ProofGeneral.8bit.gif	16547	log plain
-rw-r--r--	ProofGeneral.gif	34550	log plain
-rw-r--r--	ProofGeneral.jpg	12002	log plain
-rw-r--r--	ProofGeneral.xcf	212954	log plain
-rw-r--r--	README	207	log plain
-rw-r--r--	blank.xcf	266	log plain
-rw-r--r--	command.8bit.xpm	1345	log plain
-rw-r--r--	command.xcf	1575	log plain
-rw-r--r--	command.xpm	1621	log plain
-rw-r--r--	context.8bit.xpm	1345	log plain
-rw-r--r--	context.xcf	3724	log plain
-rw-r--r--	context.xpm	11072	log plain
-rw-r--r--	coq-badge.xcf	120521	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.xbm	925	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--	info.8bit.xpm	1342	log plain
-rw-r--r--	info.xcf	2656	log plain
-rw-r--r--	info.xpm	2428	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.xbm	925	log plain
-rw-r--r--	next.xcf	1118	log plain
-rw-r--r--	next.xpm	1588	log plain
-rw-r--r--	notes.txt	2749	log plain
-rw-r--r--	pg-text.8bit.gif	5859	log plain
-rw-r--r--	pg-text.gif	13428	log plain
-rw-r--r--	pg-text.jpg	7784	log plain
-rw-r--r--	pg-text.xcf	81232	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	10860	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	1531	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	1621	log plain
-rw-r--r--	show.8bit.xpm	1342	log plain
-rw-r--r--	show.xcf	2747	log plain
-rw-r--r--	show.xpm	4589	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	1588	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	1617	log plain