blob: bf7cd0deb5127d1b2de3b01618e9130d784b4974 (
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
48
|
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
***************
*** 76,82 ****
:group 'proof-internal)
(defcustom proof-internal-info-directory
! (concat proof-internal-home-directory "doc/")
"*Where Proof General Info files are installed."
:type 'directory
:group 'proof-internal)
--- 76,82 ----
:group 'proof-internal)
(defcustom proof-internal-info-directory
! "/usr/info/"
"*Where Proof General Info files are installed."
:type 'directory
:group 'proof-internal)
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,4 ****
! #!/usr/local/bin/perl
#
# $Id: legotags,v 2.1 1998/09/09 14:02:46 da Exp $
#
--- 1,4 ----
! #!/usr/bin/perl
#
# $Id: legotags,v 2.1 1998/09/09 14:02:46 da Exp $
#
|
