html - proof-general - Emacs interface for proof assistants

Mode	Name	Size
-rw-r--r--	.cvsignore	13	log plain
-rw-r--r--	.htaccess	58	log plain
d---------	Kit	66	log plain
-rw-r--r--	ProofGeneralPortrait.eps.gz	1646905	log plain
-rw-r--r--	about	214	log plain
-rw-r--r--	about.html	1886	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	3530	log plain
-rw-r--r--	develdownload	223	log plain
-rw-r--r--	develdownload.html	223	log plain
-rw-r--r--	develdownload.php	4594	log plain
-rw-r--r--	doc	214	log plain
-rw-r--r--	doc.html	3676	log plain
-rw-r--r--	download	214	log plain
-rw-r--r--	download.html	6960	log plain
-rw-r--r--	elispmarkup.php3	4284	log plain
-rw-r--r--	eproofe	217	log plain
-rw-r--r--	eproofe.php	690	log plain
-rw-r--r--	features	214	log plain
-rw-r--r--	features.html	7781	log plain
-rw-r--r--	feedback	219	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	2098	log plain
-rw-r--r--	head.html	980	log plain
-rw-r--r--	header.html	1948	log plain
-rw-r--r--	hits	682	log plain
-rw-r--r--	htmlshow.html	78	log plain
-rw-r--r--	htmlshow.php	243	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	213	log plain
-rw-r--r--	kit.html	213	log plain
-rw-r--r--	kit.php	1232	log plain
-rw-r--r--	links	214	log plain
-rw-r--r--	links.html	2246	log plain
-rw-r--r--	mailinglist	2395	log plain
-rw-r--r--	mailinglist.html	218	log plain
-rw-r--r--	main	214	log plain
-rw-r--r--	main.html	5639	log plain
-rw-r--r--	mission.html	4513	log plain
-rw-r--r--	news	214	log plain
-rw-r--r--	news.html	982	log plain
-rw-r--r--	notes.txt	1210	log plain
-rw-r--r--	oldnews.html	13351	log plain
-rw-r--r--	oldrel.php	3620	log plain
d---------	papers	122	log plain
-rw-r--r--	projects.html	3738	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	2934	log plain
-rw-r--r--	smallheader.html	177	log plain
-rw-r--r--	smallpage.html	93	log plain
-rw-r--r--	smallpage.php	257	log plain