diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-12-07 12:42:26 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-12-07 12:42:26 +0000 |
| commit | dded622434feb2a84a7d68c5a4f8efaa35d23dc6 (patch) | |
| tree | cbbfbd3ed066a188d20006cfc1e85ec9b58e6e67 | |
| parent | 5d935807303a0280abad3fa36dae6429c8be7fb0 (diff) | |
Name change af2 -> phox
| -rw-r--r-- | Makefile | 2 | ||||
| -rw-r--r-- | Makefile.devel | 2 | ||||
| -rw-r--r-- | etc/ProofGeneral.spec | 11 |
3 files changed, 9 insertions, 6 deletions
@@ -14,7 +14,7 @@ ########################################################################### -ELISP_DIRS = generic lego coq isa isar plastic demoisa hol98 af2 twelf acl2 +ELISP_DIRS = generic lego coq isa isar plastic demoisa hol98 phox twelf acl2 # FIXME: automate the emacs choice to be xemacs if it can be # found, otherwise emacs. BATCHEMACS=xemacs -batch -q -no-site-file diff --git a/Makefile.devel b/Makefile.devel index 113e2d1b..41486a5a 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -181,7 +181,7 @@ FILES_NONCVS = TAGS DISTINSTALLDIR=/export/local/share/elisp # Copied from distributed Makefile -ELISP_DIRS=generic lego coq isa isar plastic demoisa hol98 af2 twelf acl2 +ELISP_DIRS=generic lego coq isa isar plastic demoisa hol98 phox twelf acl2 SUBDIRS=$(ELISP_DIRS) etc doc html images PWD=$(shell pwd) 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 <da@dcs.ed.ac.uk> +- Name change af2 -> phox + * Fri Sep 29 2000 David Aspinall <da@dcs.ed.ac.uk> - 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 |