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	214	log plain
-rw-r--r--	about.html	1901	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	214	log plain
-rw-r--r--	devel.html	3637	log plain
-rw-r--r--	develdownload.html	41	log plain
-rw-r--r--	develdownload.php	4363	log plain
-rw-r--r--	doc	214	log plain
-rw-r--r--	doc.html	3671	log plain
-rw-r--r--	download	214	log plain
-rw-r--r--	download.html	6982	log plain
-rw-r--r--	elispmarkup.php3	4284	log plain
-rw-r--r--	features	214	log plain
-rw-r--r--	features.html	7777	log plain
-rw-r--r--	feedback.html	36	log plain
-rw-r--r--	feedback.php	2073	log plain
-rw-r--r--	fileshow.php	714	log plain
-rw-r--r--	footer.html	200	log plain
-rw-r--r--	functions.php3	8364	log plain
-rw-r--r--	gallery	218	log plain
-rw-r--r--	gallery.php	2103	log plain
-rw-r--r--	head.html	980	log plain
-rw-r--r--	header.html	1948	log plain
-rw-r--r--	hits.html	682	log plain
-rw-r--r--	htmlshow.html	78	log plain
-rw-r--r--	htmlshow.php	78	log plain
d---------	images	1348	log plain
-rw-r--r--	index.php	173	log plain
-rw-r--r--	index.shtml	133	log plain
-rw-r--r--	kit	1206	log plain
-rw-r--r--	kit.html	1206	log plain
-rw-r--r--	links	214	log plain
-rw-r--r--	links.html	2251	log plain
-rw-r--r--	mailinglist	2395	log plain
-rw-r--r--	mailinglist.html	35	log plain
-rw-r--r--	main	214	log plain
-rw-r--r--	main.html	5579	log plain
-rw-r--r--	mission.html	4513	log plain
-rw-r--r--	news	214	log plain
-rw-r--r--	news.html	603	log plain
-rw-r--r--	notes.txt	1210	log plain
-rw-r--r--	oldnews.html	13387	log plain
-rw-r--r--	oldrel.php	3620	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	2608	log plain
-rw-r--r--	register	2781	log plain
-rw-r--r--	register.html	2781	log plain
-rw-r--r--	screenshot	159	log plain
-rw-r--r--	screenshot.html	2947	log plain
-rw-r--r--	smallheader.html	177	log plain
-rw-r--r--	smallpage.html	93	log plain
-rw-r--r--	smallpage.php	93	log plain