html - proof-general - Emacs interface for proof assistants

Mode	Name	Size
-rw-r--r--	.cvsignore	13	log plain
-rw-r--r--	ProofGeneralPortrait.eps.gz	1646905	log plain
-rw-r--r--	about.phtml	1897	log plain
-rw-r--r--	counter.php3	1220	log plain
-rw-r--r--	cvsweb.cgi	80456	log plain
-rw-r--r--	cvsweb.conf	10468	log plain
-rw-r--r--	devel.phtml	3621	log plain
-rw-r--r--	develdownload.phtml	4241	log plain
-rw-r--r--	doc.phtml	3167	log plain
-rw-r--r--	download.phtml	6374	log plain
-rw-r--r--	elispmarkup.php3	4284	log plain
-rw-r--r--	features.phtml	7569	log plain
-rw-r--r--	feedback.phtml	2097	log plain
-rw-r--r--	fileshow.phtml	718	log plain
-rw-r--r--	footer.phtml	399	log plain
-rw-r--r--	functions.php3	8234	log plain
-rw-r--r--	gallery.phtml	2116	log plain
-rw-r--r--	head.phtml	980	log plain
-rw-r--r--	header.phtml	1796	log plain
-rw-r--r--	hits.phtml	682	log plain
-rw-r--r--	htmlshow.phtml	78	log plain
d---------	images	1188	log plain
-rw-r--r--	index.phtml	162	log plain
-rw-r--r--	index.shtml	135	log plain
-rw-r--r--	links.phtml	2252	log plain
-rw-r--r--	mailinglist.phtml	2440	log plain
-rw-r--r--	main.phtml	3994	log plain
-rw-r--r--	mission.phtml	4545	log plain
-rw-r--r--	news.phtml	1200	log plain
-rw-r--r--	notes.txt	787	log plain
-rw-r--r--	oldnews.phtml	10698	log plain
-rw-r--r--	oldrel.phtml	2838	log plain
d---------	papers	122	log plain
-rw-r--r--	projects.phtml	3650	log plain
d---------	projects	618	log plain
-rw-r--r--	proofgen.css	2462	log plain
-rw-r--r--	register.phtml	2783	log plain
-rw-r--r--	screenshot.phtml	3081	log plain
-rw-r--r--	smallheader.phtml	199	log plain
-rw-r--r--	smallpage.phtml	93	log plain