Author: tibbs Update of /cvs/pkgs/rpms/emacs-common-proofgeneral In directory cvs1.fedora.phx.redhat.com:/home/fedora/tibbs/CVSROOT/admin/tmpcvsh23345/rpms/emacs-common-proofgeneral Log Message: Directory /cvs/pkgs/rpms/emacs-common-proofgeneral added to the repository