blob: 1a976fc2a895db502e0ae36d0582321ed4af1edf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
diff -cr ProofGeneral-2.0/coq/coqtags ProofGeneral-2.0.new/coq/coqtags
*** ProofGeneral-2.0/coq/coqtags Thu Sep 24 16:36:20 1998
--- ProofGeneral-2.0.new/coq/coqtags Thu Sep 24 17:04:00 1998
***************
*** 1,4 ****
! #!/usr/local/bin/perl4
#
# $Id: ProofGeneral.patch,v 1.1 1998/09/24 16:47:51 da Exp $
#
--- 1,4 ----
! #!/usr/bin/perl
#
# $Id: ProofGeneral.patch,v 1.1 1998/09/24 16:47:51 da Exp $
#
diff -cr ProofGeneral-2.0/lego/legotags ProofGeneral-2.0.new/lego/legotags
*** ProofGeneral-2.0/lego/legotags Thu Sep 24 16:36:30 1998
--- ProofGeneral-2.0.new/lego/legotags Thu Sep 24 17:04:10 1998
***************
*** 1,4 ****
! #!/usr/local/bin/perl
#
# $Id: ProofGeneral.patch,v 1.1 1998/09/24 16:47:51 da Exp $
#
--- 1,4 ----
! #!/usr/bin/perl
#
# $Id: ProofGeneral.patch,v 1.1 1998/09/24 16:47:51 da Exp $
#
*** ProofGeneral-2.0/generic/proof-site.el Thu Sep 24 18:17:33 1998
--- ProofGeneral-2.0.new/generic/proof-site.el Thu Sep 24 18:17:43 1998
***************
*** 60,66 ****
:group 'proof-general)
(defcustom proof-info-dir
! (concat proof-home "doc/")
"*Where Proof General Info files are installed."
:type 'directory
:group 'proof-general)
--- 60,66 ----
:group 'proof-general)
(defcustom proof-info-dir
! "/usr/info/"
"*Where Proof General Info files are installed."
:type 'directory
:group 'proof-general)
|
