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
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
Index: coq/coqtags
===================================================================
RCS file: /home/proofgen/src/ProofGeneral/coq/coqtags,v
retrieving revision 4.2
diff -c -r4.2 coqtags
*** coq/coqtags 2000/05/25 19:42:55 4.2
--- coq/coqtags 2000/05/25 19:56:11
***************
*** 1,8 ****
! #!/usr/local/bin/perl
#
# $Id: coqtags,v 4.2 2000/05/25 19:42:55 da Exp $
#
-
undef $/;
if($#ARGV<$[) {die "No Files\n";}
--- 1,7 ----
! #!/usr/bin/perl
#
# $Id: coqtags,v 4.2 2000/05/25 19:42:55 da Exp $
#
undef $/;
if($#ARGV<$[) {die "No Files\n";}
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 19:56:12
***************
*** 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)
Index: lego/legotags
===================================================================
RCS file: /home/proofgen/src/ProofGeneral/lego/legotags,v
retrieving revision 4.2
diff -c -r4.2 legotags
*** lego/legotags 2000/05/25 19:42:55 4.2
--- lego/legotags 2000/05/25 19:56:12
***************
*** 1,4 ****
! #!/usr/local/bin/perl
#
# $Id: legotags,v 4.2 2000/05/25 19:42:55 da Exp $
#
--- 1,4 ----
! #!/usr/bin/perl
#
# $Id: legotags,v 4.2 2000/05/25 19:42:55 da Exp $
#
|