generic - proof-general - Emacs interface for proof assistants

Mode	Name	Size
-rw-r--r--	README	393	log plain
-rw-r--r--	pg-assoc.el	1654	log plain
-rw-r--r--	pg-autotest.el	3493	log plain
-rw-r--r--	pg-custom.el	7372	log plain
-rw-r--r--	pg-goals.el	4126	log plain
-rw-r--r--	pg-pbrpm.el	21674	log plain
-rw-r--r--	pg-pgip.el	22769	log plain
-rw-r--r--	pg-response.el	16895	log plain
-rw-r--r--	pg-thymodes.el	2891	log plain
-rw-r--r--	pg-user.el	44891	log plain
-rw-r--r--	pg-vars.el	8595	log plain
-rw-r--r--	pg-xml.el	7379	log plain
-rw-r--r--	proof-autoloads.el	24719	log plain
-rw-r--r--	proof-auxmodes.el	2117	log plain
-rw-r--r--	proof-config.el	71800	log plain
-rw-r--r--	proof-depends.el	9321	log plain
-rw-r--r--	proof-easy-config.el	3806	log plain
-rw-r--r--	proof-faces.el	6632	log plain
-rw-r--r--	proof-indent.el	3268	log plain
-rw-r--r--	proof-maths-menu.el	1913	log plain
-rw-r--r--	proof-menu.el	34855	log plain
-rw-r--r--	proof-mmm.el	2641	log plain
-rw-r--r--	proof-script.el	107558	log plain
-rw-r--r--	proof-shell.el	71056	log plain
-rw-r--r--	proof-site.el	12301	log plain
-rw-r--r--	proof-splash.el	8202	log plain
-rw-r--r--	proof-syntax.el	9831	log plain
-rw-r--r--	proof-toolbar.el	8162	log plain
-rw-r--r--	proof-unicode-tokens.el	4922	log plain
-rw-r--r--	proof-useropts.el	13775	log plain
-rw-r--r--	proof-utils.el	33664	log plain
-rw-r--r--	proof.el	1159	log plain