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
-rw-r--r--	FAQ	176	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	1960	log plain
-rw-r--r--	adaptingman	126	log plain
-rw-r--r--	components	221	log plain
-rw-r--r--	components.html	2533	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	3635	log plain
-rw-r--r--	develdownload	223	log plain
-rw-r--r--	develdownload.html	223	log plain
-rw-r--r--	develdownload.php	4578	log plain
-rw-r--r--	doc	214	log plain
-rw-r--r--	doc.html	4719	log plain
-rw-r--r--	download	214	log plain
-rw-r--r--	download.html	8403	log plain
-rw-r--r--	eeproof	217	log plain
-rw-r--r--	eeproof.php	875	log plain
-rw-r--r--	elispmarkup.php3	4380	log plain
-rw-r--r--	eproofe.php	690	log plain
-rw-r--r--	favicon.ico	1406	log plain
-rw-r--r--	features	214	log plain
-rw-r--r--	features.html	8730	log plain
-rw-r--r--	feedback	219	log plain
-rw-r--r--	feedback.php	2197	log plain
-rw-r--r--	fileshow.php	221	log plain
-rw-r--r--	footer.html	200	log plain
-rw-r--r--	functions.php3	10026	log plain
-rw-r--r--	gallery	218	log plain
-rw-r--r--	gallery.php	2098	log plain
-rw-r--r--	head.html	901	log plain
-rw-r--r--	header.html	1962	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	1393	log plain
-rw-r--r--	index.php	166	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	2298	log plain
-rw-r--r--	mailinglist	1948	log plain
-rw-r--r--	mailinglist.html	218	log plain
-rw-r--r--	main	214	log plain
-rw-r--r--	main.html	4708	log plain
-rw-r--r--	mission.html	4513	log plain
-rw-r--r--	news	214	log plain
-rw-r--r--	news.html	938	log plain
-rw-r--r--	notes.txt	1210	log plain
-rw-r--r--	oldnews.html	14551	log plain
-rw-r--r--	oldrel.php	4183	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	3661	log plain
-rw-r--r--	register	2820	log plain
-rw-r--r--	register.html	2781	log plain
-rw-r--r--	screenshot	152	log plain
-rw-r--r--	screenshot.html	3060	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
-rw-r--r--	userman	133	log plain