rpms/emacs-common-proofgeneral/devel emacs-common-proofgeneral.spec, NONE, 1.1 import.log, NONE, 1.1 pg-3.7.1-Makefile.patch, NONE, 1.1 pg-3.7.1-startscript.patch, NONE, 1.1 pg-3.7.1-xemacs-display-table.patch, NONE, 1.1 .cvsignore, 1.1, 1.2 sources, 1.1, 1.2