proof-general - Emacs plugins for proof management systems

Mode	Name	Size
-rw-r--r--	.cvsignore	42	log plain
-rw-r--r--	AUTHORS	613	log plain
-rw-r--r--	BUGS	9408	log plain
-rw-r--r--	BUGS.developer	263	log plain
-rw-r--r--	CHANGES	15367	log plain
-rw-r--r--	COMPATIBILITY	384	log plain
-rw-r--r--	COPYING	17992	log plain
-rw-r--r--	ChangeLog.gz	102806	log plain
-rw-r--r--	FAQ	14268	log plain
-rw-r--r--	IMPORTANT	375	log plain
-rw-r--r--	INSTALL	7719	log plain
-rw-r--r--	Makefile	9192	log plain
-rw-r--r--	Makefile.devel	22144	log plain
-rw-r--r--	README	2867	log plain
-rw-r--r--	README-3.7pre	458	log plain
-rw-r--r--	README.exper	2346	log plain
-rw-r--r--	REGISTER	406	log plain
-rw-r--r--	TAGS	125835	log plain
-rw-r--r--	TODO	1075	log plain
-rw-r--r--	TODO.defunct	11229	log plain
-rw-r--r--	TODO.developer	27440	log plain
d---------	acl2	191	log plain
d---------	bin	40	log plain
d---------	ccc	68	log plain
d---------	coq	730	log plain
d---------	demoisa	115	log plain
d---------	doc	414	log plain
d---------	etc	1180	log plain
d---------	generic	1275	log plain
d---------	hol98	223	log plain
d---------	images	2949	log plain
d---------	isa	34	log plain
d---------	isar	855	log plain
d---------	lclam	109	log plain
d---------	lego	365	log plain
d---------	lib	449	log plain
d---------	mmm	923	log plain
d---------	pgkit	34	log plain
d---------	pgshell	112	log plain
d---------	phox	608	log plain
d---------	plastic	184	log plain
d---------	twelf	235	log plain
-rw-r--r--	unichars.el	332575	log plain
d---------	x-symbol	216	log plain
-rw-r--r--	xmlunicode.el	31114	log plain