images - proof-general - Emacs interface for proof assistants

Mode	Name	Size
-rw-r--r--	ProofGeneral-splash.png	66563	log plain
-rw-r--r--	ProofGeneral.png	162068	log plain
-rw-r--r--	README	904	log plain
-rw-r--r--	epg-abort.png	307	log plain
-rw-r--r--	epg-abort.xpm	908	log plain
-rw-r--r--	epg-command.png	860	log plain
-rw-r--r--	epg-command.xpm	4475	log plain
-rw-r--r--	epg-context.png	889	log plain
-rw-r--r--	epg-context.xpm	3291	log plain
-rw-r--r--	epg-find.png	854	log plain
-rw-r--r--	epg-find.xpm	3832	log plain
-rw-r--r--	epg-goal.png	1068	log plain
-rw-r--r--	epg-goal.xpm	5432	log plain
-rw-r--r--	epg-goto.png	396	log plain
-rw-r--r--	epg-goto.xpm	1447	log plain
-rw-r--r--	epg-help.png	918	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	724	log plain
-rw-r--r--	epg-info.xpm	3000	log plain
-rw-r--r--	epg-interrupt.png	257	log plain
-rw-r--r--	epg-interrupt.xpm	1047	log plain
-rw-r--r--	epg-next.png	184	log plain
-rw-r--r--	epg-next.xpm	786	log plain
-rw-r--r--	epg-prooftree.png	347	log plain
-rw-r--r--	epg-prooftree.xpm	776	log plain
-rw-r--r--	epg-qed.png	1205	log plain
-rw-r--r--	epg-qed.xpm	6551	log plain
-rw-r--r--	epg-restart.png	228	log plain
-rw-r--r--	epg-restart.xpm	789	log plain
-rw-r--r--	epg-retract.png	187	log plain
-rw-r--r--	epg-retract.xpm	789	log plain
-rw-r--r--	epg-state.png	874	log plain
-rw-r--r--	epg-state.xpm	3289	log plain
-rw-r--r--	epg-undo.png	179	log plain
-rw-r--r--	epg-undo.xpm	786	log plain
-rw-r--r--	epg-use.png	189	log plain
-rw-r--r--	epg-use.xpm	785	log plain
-rw-r--r--	hiddenproof.xpm	1638	log plain