generic - proof-general - Emacs interface for proof assistants

Mode	Name	Size
-rw-r--r--	README	393	log plain
-rw-r--r--	_pkg.el	92	log plain
-rw-r--r--	pg-assoc.el	4053	log plain
-rw-r--r--	pg-autotest.el	3436	log plain
-rw-r--r--	pg-goals.el	15825	log plain
-rw-r--r--	pg-metadata.el	3518	log plain
-rw-r--r--	pg-pbrpm.el	19494	log plain
-rw-r--r--	pg-pgip-old.el	5386	log plain
-rw-r--r--	pg-pgip.el	22827	log plain
-rw-r--r--	pg-response.el	19156	log plain
-rw-r--r--	pg-thymodes.el	2859	log plain
-rw-r--r--	pg-user.el	38501	log plain
-rw-r--r--	pg-xhtml.el	2679	log plain
-rw-r--r--	pg-xml.el	7557	log plain
-rw-r--r--	proof-autoloads.el	11784	log plain
-rw-r--r--	proof-config.el	103913	log plain
-rw-r--r--	proof-depends.el	9230	log plain
-rw-r--r--	proof-easy-config.el	4174	log plain
-rw-r--r--	proof-indent.el	3199	log plain
-rw-r--r--	proof-menu.el	33886	log plain
-rw-r--r--	proof-mmm.el	3172	log plain
-rw-r--r--	proof-script.el	116356	log plain
-rw-r--r--	proof-shell.el	83140	log plain
-rw-r--r--	proof-site.el	14339	log plain
-rw-r--r--	proof-splash.el	11882	log plain
-rw-r--r--	proof-syntax.el	9949	log plain
-rw-r--r--	proof-system.el	564	log plain
-rw-r--r--	proof-toolbar.el	16410	log plain
-rw-r--r--	proof-utils.el	37198	log plain
-rw-r--r--	proof-x-symbol.el	14172	log plain
-rw-r--r--	proof.el	4846	log plain