html - proof-general - Emacs interface for proof assistants

Mode	Name	Size
-rw-r--r--	.cvsignore	13	log plain
d---------	Kit / dtd	30	log plain
-rw-r--r--	ProofGeneralPortrait.eps.gz	1646905	log plain
-rw-r--r--	about	215	log plain
-rw-r--r--	about.html	1907	log plain
-rw-r--r--	counter.php3	1220	log plain
-rw-r--r--	cvsweb.cgi	80456	log plain
-rw-r--r--	cvsweb.conf	10408	log plain
-rw-r--r--	devel	215	log plain
-rw-r--r--	devel.html	3570	log plain
-rw-r--r--	develdownload.html	4217	log plain
-rw-r--r--	doc	215	log plain
-rw-r--r--	doc.html	3151	log plain
-rw-r--r--	download	215	log plain
-rw-r--r--	download.html	6339	log plain
-rw-r--r--	elispmarkup.php3	4284	log plain
-rw-r--r--	features	215	log plain
-rw-r--r--	features.html	7556	log plain
-rw-r--r--	feedback.html	2099	log plain
-rw-r--r--	fileshow.html	716	log plain
-rw-r--r--	footer.html	407	log plain
-rw-r--r--	functions.php3	7986	log plain
-rw-r--r--	gallery.html	2113	log plain
-rw-r--r--	head.html	980	log plain
-rw-r--r--	header.html	1940	log plain
-rw-r--r--	hits.html	682	log plain
-rw-r--r--	htmlshow.html	78	log plain
d---------	images	1348	log plain
-rw-r--r--	index.html	159	log plain
-rw-r--r--	index.shtml	134	log plain
-rw-r--r--	kit.html	1206	log plain
-rw-r--r--	links	215	log plain
-rw-r--r--	links.html	2251	log plain
-rw-r--r--	mailinglist.html	2485	log plain
-rw-r--r--	main	215	log plain
-rw-r--r--	main.html	5540	log plain
-rw-r--r--	mission.html	4513	log plain
-rw-r--r--	news	215	log plain
-rw-r--r--	news.html	2154	log plain
-rw-r--r--	notes.txt	1210	log plain
-rw-r--r--	oldnews.html	10669	log plain
-rw-r--r--	oldrel.html	2838	log plain
d---------	papers	122	log plain
-rw-r--r--	projects.html	3638	log plain
d---------	projects	618	log plain
-rw-r--r--	proofgen.css	2462	log plain
-rw-r--r--	register.html	2779	log plain
-rw-r--r--	screenshot	159	log plain
-rw-r--r--	screenshot.html	2952	log plain
-rw-r--r--	smallheader.html	187	log plain
-rw-r--r--	smallpage.html	93	log plain