html - proof-general - Emacs plugins for proof management systems

Mode	Name	Size
-rw-r--r--	IsaPGscreen.jpg	50670	log plain
-rw-r--r--	ProofGeneral.jpg	5461	log plain
-rw-r--r--	about.phtml	1453	log plain
-rw-r--r--	bullethole.gif	1019	log plain
-rw-r--r--	doc.phtml	2092	log plain
-rw-r--r--	download.phtml	4411	log plain
-rw-r--r--	features.phtml	5060	log plain
-rw-r--r--	feedback.phtml	2051	log plain
-rw-r--r--	fileshow.phtml	303	log plain
-rw-r--r--	footer.phtml	402	log plain
-rw-r--r--	functions.php3	5828	log plain
-rw-r--r--	head.phtml	655	log plain
-rw-r--r--	header.phtml	1456	log plain
-rw-r--r--	htmlshow.phtml	344	log plain
d---------	images	380	log plain
-rw-r--r--	index.phtml	216	log plain
-rw-r--r--	index.shtml	33	log plain
-rw-r--r--	links.phtml	511	log plain
-rw-r--r--	mailinglist.phtml	2159	log plain
-rw-r--r--	main.phtml	2564	log plain
-rw-r--r--	news.phtml	726	log plain
-rw-r--r--	notes.txt	308	log plain
-rw-r--r--	proofgen.css	2314	log plain
-rw-r--r--	register.phtml	56	log plain
-rw-r--r--	screenshot.phtml	596	log plain
-rw-r--r--	smallheader.phtml	283	log plain
-rw-r--r--	text_general.gif	5445	log plain
-rw-r--r--	text_proof.gif	4695	log plain
-rw-r--r--	vh40.gif	906	log plain