proof-general - Emacs interface for proof assistants

Mode	Name	Size
-rw-r--r--	.gitignore	75	log plain
-rw-r--r--	.travis.yml	1100	log plain
-rw-r--r--	AUTHORS	908	log plain
-rw-r--r--	BUGS	4095	log plain
-rw-r--r--	CHANGES	22904	log plain
-rw-r--r--	COMPATIBILITY	1481	log plain
-rw-r--r--	COPYING	17992	log plain
-rw-r--r--	FAQ.md	11368	log plain
-rw-r--r--	INSTALL	5741	log plain
-rw-r--r--	Makefile	9765	log plain
-rw-r--r--	Makefile.devel	19444	log plain
-rw-r--r--	Makefile.travis	927	log plain
-rw-r--r--	README.md	5006	log plain
-rw-r--r--	REGISTER	406	log plain
d---------	acl2	147	log plain
d---------	ccc	68	log plain
d---------	coq	915	log plain
d---------	doc	460	log plain
d---------	easycrypt	229	log plain
d---------	etc	724	log plain
d---------	generic	1375	log plain
d---------	hol-light	474	log plain
d---------	hol98	146	log plain
d---------	images	1656	log plain
d---------	isar	622	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	72	log plain
d---------	previous-art	93	log plain
-rw-r--r--	proof-general-pkg.el	138	log plain
-rw-r--r--	proof-general.el	3893	log plain
d---------	twelf	190	log plain