blob: f4db47bb5d9ce51d04f22b250b3efc49fe9aed25 (
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
|
diff -cr ProofGeneral.old/coq/coqtags ProofGeneral/coq/coqtags
*** ProofGeneral.old/coq/coqtags Wed Oct 7 18:36:57 1998
--- ProofGeneral/coq/coqtags Wed Oct 7 19:04:35 1998
***************
*** 1,4 ****
! #!/usr/local/bin/perl
undef $/;
--- 1,4 ----
! #!/usr/bin/perl
undef $/;
diff -cr ProofGeneral.old/generic/proof-site.el ProofGeneral/generic/proof-site.el
*** ProofGeneral.old/generic/proof-site.el Wed Oct 7 18:38:21 1998
--- ProofGeneral/generic/proof-site.el Wed Oct 7 19:05:08 1998
***************
*** 92,98 ****
: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)
--- 92,98 ----
: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)
diff -cr ProofGeneral.old/lego/legotags ProofGeneral/lego/legotags
*** ProofGeneral.old/lego/legotags Wed Oct 7 18:37:18 1998
--- ProofGeneral/lego/legotags Wed Oct 7 19:04:35 1998
***************
*** 1,2 ****
! #!/usr/local/bin/perl
#
--- 1,2 ----
! #!/usr/bin/perl
#
|
