Skip to content

Latest commit

 

History

History
 
 

generic

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
README
README
 
 
pg-assoc.el
pg-assoc.el
 
 
pg-autotest.el
pg-autotest.el
 
 
pg-custom.el
pg-custom.el
 
 
pg-goals.el
pg-goals.el
 
 
pg-movie.el
pg-movie.el
 
 
pg-pamacs.el
pg-pamacs.el
 
 
pg-pbrpm.el
pg-pbrpm.el
 
 
pg-pgip.el
pg-pgip.el
 
 
pg-response.el
pg-response.el
 
 
pg-user.el
pg-user.el
 
 
pg-vars.el
pg-vars.el
 
 
pg-xml.el
pg-xml.el
 
 
proof-autoloads.el
proof-autoloads.el
 
 
proof-auxmodes.el
proof-auxmodes.el
 
 
proof-config.el
proof-config.el
 
 
proof-depends.el
proof-depends.el
 
 
proof-easy-config.el
proof-easy-config.el
 
 
proof-faces.el
proof-faces.el
 
 
proof-indent.el
proof-indent.el
 
 
proof-maths-menu.el
proof-maths-menu.el
 
 
proof-menu.el
proof-menu.el
 
 
proof-script.el
proof-script.el
 
 
proof-shell.el
proof-shell.el
 
 
proof-site.el
proof-site.el
 
 
proof-splash.el
proof-splash.el
 
 
proof-syntax.el
proof-syntax.el
 
 
proof-toolbar.el
proof-toolbar.el
 
 
proof-tree.el
proof-tree.el
 
 
proof-unicode-tokens.el
proof-unicode-tokens.el
 
 
proof-useropts.el
proof-useropts.el
 
 
proof-utils.el
proof-utils.el
 
 
proof.el
proof.el
 
 

README

Proof General

The code in this directory implements the generic basis 
of Proof General.

It was written by Thomas Kleymann, Dilip Sequeira, Healfdene Goguen,
David Aspinall, and Markus Wenzel.

Several other people helped with contributions and modifications, see
individual credits in the code or summary in the Proof General manual.

Contributions to the generic basis are welcome!

$Id$