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-metadata.el	3331	log plain
-rw-r--r--	pg-pgip.el	3534	log plain
-rw-r--r--	pg-user.el	32037	log plain
-rw-r--r--	pg-xhtml.el	2508	log plain
-rw-r--r--	pg-xml.el	8143	log plain
-rw-r--r--	proof-autoloads.el	7791	log plain
-rw-r--r--	proof-compat.el	10124	log plain
-rw-r--r--	proof-config.el	89046	log plain
-rw-r--r--	proof-depends.el	7169	log plain
-rw-r--r--	proof-easy-config.el	3306	log plain
-rw-r--r--	proof-indent.el	3422	log plain
-rw-r--r--	proof-menu.el	21971	log plain
-rw-r--r--	proof-script.el	104908	log plain
-rw-r--r--	proof-shell.el	85256	log plain
-rw-r--r--	proof-site.el	13809	log plain
-rw-r--r--	proof-splash.el	9804	log plain
-rw-r--r--	proof-syntax.el	9608	log plain
-rw-r--r--	proof-system.el	574	log plain
-rw-r--r--	proof-toolbar.el	17055	log plain
-rw-r--r--	proof-utils.el	28804	log plain
-rw-r--r--	proof-x-symbol.el	13043	log plain
-rw-r--r--	proof.el	3834	log plain
-rw-r--r--	span-extent.el	3674	log plain
-rw-r--r--	span-overlay.el	10093	log plain
-rw-r--r--	span.el	524	log plain
-rw-r--r--	texi-docstring-magic.el	13522	log plain