generic - proof-general - Emacs interface for proof assistants

Mode	Name	Size
-rw-r--r--	README	393	log plain
-rw-r--r--	pg-assoc.el	1557	log plain
-rw-r--r--	pg-autotest.el	8058	log plain
-rw-r--r--	pg-custom.el	7324	log plain
-rw-r--r--	pg-goals.el	4182	log plain
-rw-r--r--	pg-movie.el	3893	log plain
-rw-r--r--	pg-pamacs.el	8541	log plain
-rw-r--r--	pg-pbrpm.el	22416	log plain
-rw-r--r--	pg-pgip.el	22973	log plain
-rw-r--r--	pg-response.el	16399	log plain
-rw-r--r--	pg-user.el	50808	log plain
-rw-r--r--	pg-vars.el	9965	log plain
-rw-r--r--	pg-xml.el	7363	log plain
-rw-r--r--	proof-autoloads.el	32842	log plain
-rw-r--r--	proof-auxmodes.el	2048	log plain
-rw-r--r--	proof-config.el	69542	log plain
-rw-r--r--	proof-depends.el	9806	log plain
-rw-r--r--	proof-easy-config.el	3799	log plain
-rw-r--r--	proof-faces.el	7506	log plain
-rw-r--r--	proof-indent.el	3256	log plain
-rw-r--r--	proof-maths-menu.el	1918	log plain
-rw-r--r--	proof-menu.el	33596	log plain
-rw-r--r--	proof-mmm.el	2736	log plain
-rw-r--r--	proof-script.el	101750	log plain
-rw-r--r--	proof-shell.el	62909	log plain
-rw-r--r--	proof-site.el	11610	log plain
-rw-r--r--	proof-splash.el	11407	log plain
-rw-r--r--	proof-syntax.el	10181	log plain
-rw-r--r--	proof-toolbar.el	8449	log plain
-rw-r--r--	proof-unicode-tokens.el	5082	log plain
-rw-r--r--	proof-useropts.el	14817	log plain
-rw-r--r--	proof-utils.el	28519	log plain
-rw-r--r--	proof.el	1302	log plain