blob: 4d29f28e388ee806d6825e9c310f027df70926b2 (
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
|
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,2 ****
! #!/usr/local/bin/perl
#
--- 1,2 ----
! #!/usr/bin/perl
#
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,2 ****
! #!/usr/local/bin/perl
#
--- 1,2 ----
! #!/usr/bin/perl
#
*** 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)
|
