images - proof-general - Emacs interface for proof assistants

Mode	Name	Size
-rw-r--r--	ProofGeneral.gif	18165	log plain
-rw-r--r--	ProofGeneral.jpg	16123	log plain
-rw-r--r--	README	588	log plain
-rw-r--r--	epg-abort.png	319	log plain
-rw-r--r--	epg-abort.xpm	908	log plain
-rw-r--r--	epg-command.png	764	log plain
-rw-r--r--	epg-command.xpm	4475	log plain
-rw-r--r--	epg-context.png	820	log plain
-rw-r--r--	epg-context.xpm	3291	log plain
-rw-r--r--	epg-find.png	733	log plain
-rw-r--r--	epg-find.xpm	3832	log plain
-rw-r--r--	epg-goal.png	996	log plain
-rw-r--r--	epg-goal.xpm	5432	log plain
-rw-r--r--	epg-goto.png	448	log plain
-rw-r--r--	epg-goto.xpm	1447	log plain
-rw-r--r--	epg-help.png	829	log plain
-rw-r--r--	epg-help.xpm	4840	log plain
-rw-r--r--	epg-home.png	848	log plain
-rw-r--r--	epg-home.xpm	2803	log plain
-rw-r--r--	epg-info.png	721	log plain
-rw-r--r--	epg-info.xpm	3000	log plain
-rw-r--r--	epg-interrupt.png	287	log plain
-rw-r--r--	epg-interrupt.xpm	1047	log plain
-rw-r--r--	epg-next.png	202	log plain
-rw-r--r--	epg-next.xpm	786	log plain
-rw-r--r--	epg-qed.png	1102	log plain
-rw-r--r--	epg-qed.xpm	6551	log plain
-rw-r--r--	epg-restart.png	273	log plain
-rw-r--r--	epg-restart.xpm	789	log plain
-rw-r--r--	epg-retract.png	212	log plain
-rw-r--r--	epg-retract.xpm	789	log plain
-rw-r--r--	epg-state.png	817	log plain
-rw-r--r--	epg-state.xpm	3289	log plain
-rw-r--r--	epg-undo.png	198	log plain
-rw-r--r--	epg-undo.xpm	786	log plain
-rw-r--r--	epg-use.png	203	log plain
-rw-r--r--	epg-use.xpm	785	log plain
d---------	gimp	38	log plain
-rw-r--r--	hiddenproof.xpm	1638	log plain