generic - proof-general - Emacs interface for proof assistants

Mode	Name	Size
-rw-r--r--	README	393	log plain
-rw-r--r--	pg-assoc.el	2120	log plain
-rw-r--r--	pg-autotest.el	8892	log plain
-rw-r--r--	pg-custom.el	7842	log plain
-rw-r--r--	pg-goals.el	4340	log plain
-rw-r--r--	pg-movie.el	3872	log plain
-rw-r--r--	pg-pamacs.el	9913	log plain
-rw-r--r--	pg-pbrpm.el	22404	log plain
-rw-r--r--	pg-pgip.el	23188	log plain
-rw-r--r--	pg-response.el	20997	log plain
-rw-r--r--	pg-user.el	48840	log plain
-rw-r--r--	pg-vars.el	10917	log plain
-rw-r--r--	pg-xml.el	7363	log plain
-rw-r--r--	proof-autoloads.el	34310	log plain
-rw-r--r--	proof-auxmodes.el	1451	log plain
-rw-r--r--	proof-config.el	73959	log plain
-rw-r--r--	proof-depends.el	9815	log plain
-rw-r--r--	proof-easy-config.el	3860	log plain
-rw-r--r--	proof-faces.el	8199	log plain
-rw-r--r--	proof-indent.el	3256	log plain
-rw-r--r--	proof-maths-menu.el	1858	log plain
-rw-r--r--	proof-menu.el	37321	log plain
-rw-r--r--	proof-script.el	105079	log plain
-rw-r--r--	proof-shell.el	73754	log plain
-rw-r--r--	proof-site.el	13775	log plain
-rw-r--r--	proof-splash.el	11029	log plain
-rw-r--r--	proof-syntax.el	12064	log plain
-rw-r--r--	proof-toolbar.el	8687	log plain
-rw-r--r--	proof-tree.el	51705	log plain
-rw-r--r--	proof-unicode-tokens.el	5074	log plain
-rw-r--r--	proof-useropts.el	17068	log plain
-rw-r--r--	proof-utils.el	30585	log plain
-rw-r--r--	proof.el	1418	log plain