generic - proof-general - Emacs interface for proof assistants

Mode	Name	Size
-rw-r--r--	README	393	log plain
-rw-r--r--	pg-assoc.el	1534	log plain
-rw-r--r--	pg-autotest.el	3505	log plain
-rw-r--r--	pg-custom.el	7366	log plain
-rw-r--r--	pg-goals.el	4182	log plain
-rw-r--r--	pg-pbrpm.el	21748	log plain
-rw-r--r--	pg-pgip.el	22952	log plain
-rw-r--r--	pg-response.el	17344	log plain
-rw-r--r--	pg-thymodes.el	2882	log plain
-rw-r--r--	pg-user.el	45903	log plain
-rw-r--r--	pg-vars.el	9667	log plain
-rw-r--r--	pg-xml.el	7377	log plain
-rw-r--r--	proof-autoloads.el	31536	log plain
-rw-r--r--	proof-auxmodes.el	2048	log plain
-rw-r--r--	proof-config.el	73490	log plain
-rw-r--r--	proof-depends.el	9249	log plain
-rw-r--r--	proof-easy-config.el	3799	log plain
-rw-r--r--	proof-faces.el	6951	log plain
-rw-r--r--	proof-indent.el	3120	log plain
-rw-r--r--	proof-maths-menu.el	1884	log plain
-rw-r--r--	proof-menu.el	31991	log plain
-rw-r--r--	proof-mmm.el	2764	log plain
-rw-r--r--	proof-script.el	105348	log plain
-rw-r--r--	proof-shell.el	66268	log plain
-rw-r--r--	proof-site.el	11558	log plain
-rw-r--r--	proof-splash.el	8683	log plain
-rw-r--r--	proof-syntax.el	9674	log plain
-rw-r--r--	proof-toolbar.el	8265	log plain
-rw-r--r--	proof-unicode-tokens.el	5066	log plain
-rw-r--r--	proof-useropts.el	14299	log plain
-rw-r--r--	proof-utils.el	36135	log plain
-rw-r--r--	proof.el	1258	log plain