generic - proof-general - Emacs plugins for proof management systems

Mode	Name	Size
-rw-r--r--	README	393	log plain
-rw-r--r--	pg-assoc.el	2533	log plain
-rw-r--r--	pg-autotest.el	9312	log plain
-rw-r--r--	pg-custom.el	8201	log plain
-rwxr-xr-x	pg-goals.el	4741	log plain
-rw-r--r--	pg-movie.el	4274	log plain
-rw-r--r--	pg-pamacs.el	10283	log plain
-rw-r--r--	pg-pbrpm.el	22467	log plain
-rw-r--r--	pg-pgip.el	23488	log plain
-rw-r--r--	pg-response.el	21731	log plain
-rw-r--r--	pg-user.el	50250	log plain
-rw-r--r--	pg-vars.el	11266	log plain
-rw-r--r--	pg-xml.el	7880	log plain
-rw-r--r--	proof-autoloads.el	33612	log plain
-rw-r--r--	proof-auxmodes.el	1808	log plain
-rw-r--r--	proof-config.el	76537	log plain
-rw-r--r--	proof-depends.el	10770	log plain
-rw-r--r--	proof-easy-config.el	4431	log plain
-rw-r--r--	proof-faces.el	8875	log plain
-rw-r--r--	proof-indent.el	3658	log plain
-rw-r--r--	proof-maths-menu.el	2155	log plain
-rw-r--r--	proof-menu.el	38718	log plain
-rw-r--r--	proof-script.el	116585	log plain
-rw-r--r--	proof-shell.el	74814	log plain
-rw-r--r--	proof-site.el	11997	log plain
-rw-r--r--	proof-splash.el	11555	log plain
-rw-r--r--	proof-syntax.el	12126	log plain
-rw-r--r--	proof-toolbar.el	9040	log plain
-rw-r--r--	proof-tree.el	52227	log plain
-rw-r--r--	proof-unicode-tokens.el	5450	log plain
-rw-r--r--	proof-useropts.el	18104	log plain
-rw-r--r--	proof-utils.el	31205	log plain
-rw-r--r--	proof.el	1616	log plain