html - proof-general - Emacs interface for proof assistants

Mode	Name	Size
-rw-r--r--	.cvsignore	13	log plain
-rw-r--r--	about.phtml	1890	log plain
-rw-r--r--	counter.php3	1047	log plain
-rw-r--r--	devel.phtml	3801	log plain
-rw-r--r--	doc.phtml	2405	log plain
-rw-r--r--	download.phtml	2629	log plain
-rw-r--r--	features.phtml	6989	log plain
-rw-r--r--	feedback.phtml	2051	log plain
-rw-r--r--	fileshow.phtml	533	log plain
-rw-r--r--	footer.phtml	396	log plain
-rw-r--r--	functions.php3	7313	log plain
-rw-r--r--	gallery.phtml	1946	log plain
-rw-r--r--	head.phtml	993	log plain
-rw-r--r--	header.phtml	1476	log plain
-rw-r--r--	hits.phtml	682	log plain
-rw-r--r--	htmlshow.phtml	78	log plain
d---------	images	682	log plain
-rw-r--r--	index.phtml	162	log plain
-rw-r--r--	index.shtml	135	log plain
-rw-r--r--	links.phtml	1131	log plain
-rw-r--r--	mailinglist.phtml	2428	log plain
-rw-r--r--	main.phtml	3828	log plain
-rw-r--r--	news.phtml	5836	log plain
-rw-r--r--	notes.txt	787	log plain
-rw-r--r--	oldrel.phtml	1335	log plain
-rw-r--r--	proofgen.css	2034	log plain
-rw-r--r--	register.phtml	2743	log plain
-rw-r--r--	screenshot.phtml	698	log plain
-rw-r--r--	smallheader.phtml	199	log plain