generic - proof-general - Emacs interface for proof assistants

Mode	Name	Size
-rw-r--r--	README	393	log plain
-rw-r--r--	pg-assoc.el	1647	log plain
-rw-r--r--	pg-autotest.el	3482	log plain
-rw-r--r--	pg-custom.el	7366	log plain
-rw-r--r--	pg-goals.el	4102	log plain
-rw-r--r--	pg-pbrpm.el	21629	log plain
-rw-r--r--	pg-pgip.el	22814	log plain
-rw-r--r--	pg-response.el	16778	log plain
-rw-r--r--	pg-thymodes.el	2882	log plain
-rw-r--r--	pg-user.el	46096	log plain
-rw-r--r--	pg-vars.el	8578	log plain
-rw-r--r--	pg-xml.el	7362	log plain
-rw-r--r--	proof-autoloads.el	30289	log plain
-rw-r--r--	proof-auxmodes.el	2108	log plain
-rw-r--r--	proof-config.el	72597	log plain
-rw-r--r--	proof-depends.el	9279	log plain
-rw-r--r--	proof-easy-config.el	3795	log plain
-rw-r--r--	proof-faces.el	6627	log plain
-rw-r--r--	proof-indent.el	3120	log plain
-rw-r--r--	proof-maths-menu.el	1907	log plain
-rw-r--r--	proof-menu.el	34775	log plain
-rw-r--r--	proof-mmm.el	2639	log plain
-rw-r--r--	proof-script.el	104911	log plain
-rw-r--r--	proof-shell.el	67651	log plain
-rw-r--r--	proof-site.el	11504	log plain
-rw-r--r--	proof-splash.el	8192	log plain
-rw-r--r--	proof-syntax.el	9393	log plain
-rw-r--r--	proof-toolbar.el	8162	log plain
-rw-r--r--	proof-unicode-tokens.el	4917	log plain
-rw-r--r--	proof-useropts.el	13779	log plain
-rw-r--r--	proof-utils.el	33095	log plain
-rw-r--r--	proof.el	1155	log plain