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--	holes.el	26559	log plain
-rw-r--r--	pg-assoc.el	3675	log plain
-rw-r--r--	pg-goals.el	14458	log plain
-rw-r--r--	pg-metadata.el	3518	log plain
-rw-r--r--	pg-pgip.el	11597	log plain
-rw-r--r--	pg-response.el	17859	log plain
-rw-r--r--	pg-thymodes.el	2859	log plain
-rw-r--r--	pg-user.el	38168	log plain
-rw-r--r--	pg-xhtml.el	2673	log plain
-rw-r--r--	pg-xml.el	8775	log plain
-rw-r--r--	proof-autoloads.el	10003	log plain
-rw-r--r--	proof-compat.el	22642	log plain
-rw-r--r--	proof-config.el	100604	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	4153	log plain
-rw-r--r--	proof-menu.el	32268	log plain
-rw-r--r--	proof-mmm.el	3096	log plain
-rw-r--r--	proof-script.el	116172	log plain
-rw-r--r--	proof-shell.el	80894	log plain
-rw-r--r--	proof-site.el	15024	log plain
-rw-r--r--	proof-splash.el	12065	log plain
-rw-r--r--	proof-syntax.el	9026	log plain
-rw-r--r--	proof-system.el	564	log plain
-rw-r--r--	proof-toolbar.el	17132	log plain
-rw-r--r--	proof-utils.el	34857	log plain
-rw-r--r--	proof-x-symbol.el	14160	log plain
-rw-r--r--	proof.el	4012	log plain
-rw-r--r--	span-extent.el	4252	log plain
-rw-r--r--	span-overlay.el	12099	log plain
-rw-r--r--	span.el	1021	log plain
-rw-r--r--	texi-docstring-magic.el	14204	log plain