diff options
Diffstat (limited to 'etc/ProofGeneral.patch')
| -rw-r--r-- | etc/ProofGeneral.patch | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/etc/ProofGeneral.patch b/etc/ProofGeneral.patch deleted file mode 100644 index 7ba5d3a1..00000000 --- a/etc/ProofGeneral.patch +++ /dev/null @@ -1,24 +0,0 @@ -Index: generic/proof-site.el -=================================================================== -RCS file: /home/proofgen/src/ProofGeneral/generic/proof-site.el,v -retrieving revision 4.26 -diff -c -r4.26 proof-site.el -*** generic/proof-site.el 2000/05/25 14:52:30 4.26 ---- generic/proof-site.el 2000/05/25 20:14:27 -*************** -*** 99,105 **** - :group 'proof-general-internals) - - (defcustom proof-info-directory -! (concat proof-home-directory "doc/") - "Where Proof General Info files are installed. Ends with slash." - :type 'directory - :group 'proof-general-internals) ---- 99,105 ---- - :group 'proof-general-internals) - - (defcustom proof-info-directory -! "/usr/info/" - "Where Proof General Info files are installed. Ends with slash." - :type 'directory - :group 'proof-general-internals) |