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-goals.el	16368	log plain
-rw-r--r--	pg-metadata.el	3333	log plain
-rw-r--r--	pg-pgip.el	3579	log plain
-rw-r--r--	pg-response.el	7066	log plain
-rw-r--r--	pg-user.el	32013	log plain
-rw-r--r--	pg-xhtml.el	2557	log plain
-rw-r--r--	pg-xml.el	8192	log plain
-rw-r--r--	proof-autoloads.el	7791	log plain
-rw-r--r--	proof-compat.el	13700	log plain
-rw-r--r--	proof-config.el	91745	log plain
-rw-r--r--	proof-depends.el	7216	log plain
-rw-r--r--	proof-easy-config.el	3288	log plain
-rw-r--r--	proof-indent.el	3179	log plain
-rw-r--r--	proof-menu.el	24321	log plain
-rw-r--r--	proof-script.el	105820	log plain
-rw-r--r--	proof-shell.el	72448	log plain
-rw-r--r--	proof-site.el	13841	log plain
-rw-r--r--	proof-splash.el	10280	log plain
-rw-r--r--	proof-syntax.el	10056	log plain
-rw-r--r--	proof-system.el	555	log plain
-rw-r--r--	proof-toolbar.el	17037	log plain
-rw-r--r--	proof-utils.el	25717	log plain
-rw-r--r--	proof-x-symbol.el	14023	log plain
-rw-r--r--	proof.el	3809	log plain
-rw-r--r--	span-extent.el	3749	log plain
-rw-r--r--	span-overlay.el	10529	log plain
-rw-r--r--	span.el	405	log plain
-rw-r--r--	texi-docstring-magic.el	13528	log plain