generic - proof-general - Emacs interface for proof assistants

Mode	Name	Size
-rw-r--r--	README	393	log plain
-rw-r--r--	pg-assoc.el	10618	log plain
-rw-r--r--	pg-autotest.el	3523	log plain
-rw-r--r--	pg-custom.el	7297	log plain
-rw-r--r--	pg-goals.el	9783	log plain
-rw-r--r--	pg-metadata.el	3508	log plain
-rw-r--r--	pg-pbrpm.el	19531	log plain
-rw-r--r--	pg-pgip-old.el	5386	log plain
-rw-r--r--	pg-pgip.el	22821	log plain
-rw-r--r--	pg-response.el	19362	log plain
-rw-r--r--	pg-thymodes.el	2888	log plain
-rw-r--r--	pg-user.el	38638	log plain
-rw-r--r--	pg-vars.el	5635	log plain
-rw-r--r--	pg-xhtml.el	2727	log plain
-rw-r--r--	pg-xml.el	7549	log plain
-rw-r--r--	proof-autoloads.el	18081	log plain
-rw-r--r--	proof-config.el	95995	log plain
-rw-r--r--	proof-depends.el	9235	log plain
-rw-r--r--	proof-easy-config.el	3955	log plain
-rw-r--r--	proof-indent.el	3072	log plain
-rw-r--r--	proof-maths-menu.el	2469	log plain
-rw-r--r--	proof-menu.el	33560	log plain
-rw-r--r--	proof-mmm.el	3268	log plain
-rw-r--r--	proof-script.el	115489	log plain
-rw-r--r--	proof-shell.el	81661	log plain
-rw-r--r--	proof-site.el	13673	log plain
-rw-r--r--	proof-splash.el	11618	log plain
-rw-r--r--	proof-syntax.el	9934	log plain
-rw-r--r--	proof-toolbar.el	16203	log plain
-rw-r--r--	proof-utils.el	36658	log plain
-rw-r--r--	proof-x-symbol.el	13236	log plain
-rw-r--r--	proof.el	990	log plain