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	427	log plain
-rw-r--r--	epg-abort.xpm	1241	log plain
-rw-r--r--	epg-command.png	958	log plain
-rw-r--r--	epg-command.xpm	5086	log plain
-rw-r--r--	epg-context.png	946	log plain
-rw-r--r--	epg-context.xpm	3710	log plain
-rw-r--r--	epg-find.png	867	log plain
-rw-r--r--	epg-find.xpm	4443	log plain
-rw-r--r--	epg-goal.png	1080	log plain
-rw-r--r--	epg-goal.xpm	5595	log plain
-rw-r--r--	epg-goto.png	639	log plain
-rw-r--r--	epg-goto.xpm	1735	log plain
-rw-r--r--	epg-help.png	1118	log plain
-rw-r--r--	epg-help.xpm	6315	log plain
-rw-r--r--	epg-info.png	662	log plain
-rw-r--r--	epg-info.xpm	1392	log plain
-rw-r--r--	epg-interrupt.png	509	log plain
-rw-r--r--	epg-interrupt.xpm	1575	log plain
-rw-r--r--	epg-next.png	277	log plain
-rw-r--r--	epg-next.xpm	940	log plain
-rw-r--r--	epg-qed.png	1874	log plain
-rw-r--r--	epg-qed.xpm	10826	log plain
-rw-r--r--	epg-restart.png	350	log plain
-rw-r--r--	epg-restart.xpm	883	log plain
-rw-r--r--	epg-retract.png	315	log plain
-rw-r--r--	epg-retract.xpm	988	log plain
-rw-r--r--	epg-state.png	956	log plain
-rw-r--r--	epg-state.xpm	3708	log plain
-rw-r--r--	epg-undo.png	283	log plain
-rw-r--r--	epg-undo.xpm	940	log plain
-rw-r--r--	epg-use.png	316	log plain
-rw-r--r--	epg-use.xpm	984	log plain
d---------	gimp	38	log plain
-rw-r--r--	hiddenproof.xpm	1638	log plain
-rw-r--r--	pg-abort.xpm	1769	log plain
-rw-r--r--	pg-command.xpm	7072	log plain
-rw-r--r--	pg-context.xpm	4576	log plain
-rw-r--r--	pg-find.xpm	5837	log plain
-rw-r--r--	pg-goal.xpm	11069	log plain
-rw-r--r--	pg-goto.xpm	2221	log plain
-rw-r--r--	pg-help.xpm	7581	log plain
-rw-r--r--	pg-info.xpm	2398	log plain
-rw-r--r--	pg-interrupt.xpm	2013	log plain
-rw-r--r--	pg-next.xpm	1588	log plain
-rw-r--r--	pg-qed.xpm	10860	log plain
-rw-r--r--	pg-restart.xpm	1531	log plain
-rw-r--r--	pg-retract.xpm	1636	log plain
-rw-r--r--	pg-state.xpm	4574	log plain
-rw-r--r--	pg-undo.xpm	1588	log plain
-rw-r--r--	pg-use.xpm	1632	log plain