generic - proof-general - Emacs interface for proof assistants

Mode	Name	Size
-rw-r--r--	README	393	log plain
-rw-r--r--	pg-assoc.el	10657	log plain
-rw-r--r--	pg-autotest.el	3493	log plain
-rw-r--r--	pg-custom.el	7552	log plain
-rw-r--r--	pg-goals.el	9772	log plain
-rw-r--r--	pg-metadata.el	3547	log plain
-rw-r--r--	pg-pbrpm.el	21671	log plain
-rw-r--r--	pg-pgip.el	22851	log plain
-rw-r--r--	pg-response.el	19306	log plain
-rw-r--r--	pg-thymodes.el	2888	log plain
-rw-r--r--	pg-user.el	46075	log plain
-rw-r--r--	pg-vars.el	6736	log plain
-rw-r--r--	pg-xhtml.el	2695	log plain
-rw-r--r--	pg-xml.el	7639	log plain
-rw-r--r--	proof-autoloads.el	24924	log plain
-rw-r--r--	proof-config.el	96770	log plain
-rw-r--r--	proof-depends.el	9321	log plain
-rw-r--r--	proof-easy-config.el	4033	log plain
-rw-r--r--	proof-indent.el	3268	log plain
-rw-r--r--	proof-maths-menu.el	2609	log plain
-rw-r--r--	proof-menu.el	34040	log plain
-rw-r--r--	proof-mmm.el	3368	log plain
-rw-r--r--	proof-script.el	116077	log plain
-rw-r--r--	proof-shell.el	77140	log plain
-rw-r--r--	proof-site.el	13686	log plain
-rw-r--r--	proof-splash.el	11700	log plain
-rw-r--r--	proof-syntax.el	10058	log plain
-rw-r--r--	proof-toolbar.el	16455	log plain
-rw-r--r--	proof-unicode-tokens.el	5008	log plain
-rw-r--r--	proof-utils.el	36286	log plain
-rw-r--r--	proof-x-symbol.el	13436	log plain
-rw-r--r--	proof.el	1152	log plain