generic - proof-general - Emacs interface for proof assistants

Mode	Name	Size
-rw-r--r--	README	393	log plain
-rw-r--r--	pg-assoc.el	2475	log plain
-rw-r--r--	pg-autotest.el	9241	log plain
-rw-r--r--	pg-custom.el	8202	log plain
-rw-r--r--	pg-goals.el	4685	log plain
-rw-r--r--	pg-movie.el	4238	log plain
-rw-r--r--	pg-pamacs.el	10263	log plain
-rw-r--r--	pg-pbrpm.el	22404	log plain
-rw-r--r--	pg-pgip.el	23542	log plain
-rw-r--r--	pg-response.el	21312	log plain
-rw-r--r--	pg-user.el	49124	log plain
-rw-r--r--	pg-vars.el	11277	log plain
-rw-r--r--	pg-xml.el	7755	log plain
-rw-r--r--	proof-autoloads.el	34746	log plain
-rw-r--r--	proof-auxmodes.el	1808	log plain
-rw-r--r--	proof-config.el	74320	log plain
-rw-r--r--	proof-depends.el	10159	log plain
-rw-r--r--	proof-easy-config.el	4245	log plain
-rw-r--r--	proof-faces.el	8565	log plain
-rw-r--r--	proof-indent.el	3658	log plain
-rw-r--r--	proof-maths-menu.el	2199	log plain
-rw-r--r--	proof-menu.el	37686	log plain
-rw-r--r--	proof-script.el	105440	log plain
-rw-r--r--	proof-shell.el	74115	log plain
-rw-r--r--	proof-site.el	14129	log plain
-rw-r--r--	proof-splash.el	11377	log plain
-rw-r--r--	proof-syntax.el	12427	log plain
-rw-r--r--	proof-toolbar.el	9040	log plain
-rw-r--r--	proof-tree.el	52074	log plain
-rw-r--r--	proof-unicode-tokens.el	5415	log plain
-rw-r--r--	proof-useropts.el	17422	log plain
-rw-r--r--	proof-utils.el	30935	log plain
-rw-r--r--	proof.el	1777	log plain