images « html - proof-general - Emacs interface for proof assistants

Mode	Name	Size
-rw-r--r--	.cvsignore	8	log plain
-rw-r--r--	IsaPGscreen.jpg	50670	log plain
-rw-r--r--	ProofGeneral.jpg	14368	log plain
-rw-r--r--	bullethole.gif	928	log plain
-rw-r--r--	canvaswallpaper.jpg	3546	log plain
-rw-r--r--	coq-badge.gif	3174	log plain
-rw-r--r--	isabelle-badge.gif	4674	log plain
-rw-r--r--	lego-badge.gif	3925	log plain
-rw-r--r--	pg-coq-screenshot.png	138364	log plain
-rw-r--r--	pg-coq-thumb.png	22324	log plain
-rw-r--r--	pg-isa-screenshot.png	46767	log plain
-rw-r--r--	pg-isa-thumb.png	16726	log plain
-rw-r--r--	pg-isar-screenshot.png	50400	log plain
-rw-r--r--	pg-isar-thumb.png	20072	log plain
-rw-r--r--	pg-lego-console-thumb.png	5648	log plain
-rw-r--r--	pg-lego-console.png	5992	log plain
-rw-r--r--	pg-lego-screenshot.png	32219	log plain
-rw-r--r--	pg-lego-thumb.png	10979	log plain
-rw-r--r--	pg-text.gif	7956	log plain
-rw-r--r--	portrait-thumb.jpg	6220	log plain
-rw-r--r--	portrait.jpg	84799	log plain
-rw-r--r--	silverrule.gif	4612	log plain
-rw-r--r--	vh40.gif	906	log plain
-rw-r--r--	whip-thumb.jpg	5270	log plain
-rw-r--r--	whip.jpg	67684	log plain
-rw-r--r--	whole-man-thumb.jpg	5714	log plain
-rw-r--r--	whole-man.jpg	63335	log plain