From dded622434feb2a84a7d68c5a4f8efaa35d23dc6 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 7 Dec 2000 12:42:26 +0000 Subject: Name change af2 -> phox --- etc/ProofGeneral.spec | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) (limited to 'etc') diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec index d61c4376..9b2e9f9f 100644 --- a/etc/ProofGeneral.spec +++ b/etc/ProofGeneral.spec @@ -29,6 +29,9 @@ to your .emacs file so Proof General is available whenever you run Emacs. %changelog +* Thu Dec 7 2000 David Aspinall +- Name change af2 -> phox + * Fri Sep 29 2000 David Aspinall - For 3.2, add more provers (af2, acl2, twelf). Added proofgeneral script. @@ -64,7 +67,7 @@ gzip ${RPM_BUILD_ROOT}/usr/info/PG-adapting.info ${RPM_BUILD_ROOT}/usr/info/PG-a # Remove duff bits rm -f doc/dir doc/localdir -cp -pr af2 acl2 twelf coq lego isa isar hol98 images generic ${RPM_BUILD_ROOT}/usr/share/emacs/ProofGeneral +cp -pr phox acl2 twelf coq lego isa isar hol98 images generic ${RPM_BUILD_ROOT}/usr/share/emacs/ProofGeneral %clean @@ -108,9 +111,9 @@ fi %attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral/hol98 %attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/hol98/*.el %attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/hol98/*.sml -%attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral/af2 -%attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/af2/*.el -%attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/af2/*.af2 +%attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral/phox +%attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/phox/*.el +%attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/phox/*.phox %attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral/acl2 %attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/acl2/*.el %attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/acl2/*.acl2 -- cgit v1.2.3