proof-general - Emacs interface for proof assistants

Mode	Name	Size
-rw-r--r--	.gitignore	45	log plain
-rw-r--r--	.travis.yml	320	log plain
-rw-r--r--	AUTHORS	672	log plain
-rw-r--r--	BUGS	4095	log plain
-rw-r--r--	CHANGES	17878	log plain
-rw-r--r--	COMPATIBILITY	1485	log plain
-rw-r--r--	COPYING	17992	log plain
-rw-r--r--	FAQ	10851	log plain
-rw-r--r--	INSTALL	5740	log plain
-rw-r--r--	Makefile	9952	log plain
-rw-r--r--	Makefile.devel	20725	log plain
-rw-r--r--	Makefile.travis	889	log plain
-rw-r--r--	README.md	1952	log plain
-rw-r--r--	REGISTER	406	log plain
-rw-r--r--	TAGS	131571	log plain
d---------	acl2	147	log plain
d---------	bin	40	log plain
d---------	ccc	68	log plain
d---------	contrib	62	log plain
d---------	coq	903	log plain
d---------	doc	460	log plain
d---------	etc	763	log plain
d---------	generic	1415	log plain
d---------	hol-light	474	log plain
d---------	hol98	146	log plain
d---------	images	1656	log plain
d---------	isar	661	log plain
d---------	lego	289	log plain
d---------	lib	530	log plain
d---------	obsolete	100	log plain
d---------	pghaskell	40	log plain
d---------	pgocaml	38	log plain
d---------	pgshell	112	log plain
d---------	phox	564	log plain
d---------	previous-art	93	log plain
d---------	twelf	190	log plain