|
2795
|
1 |
#!/usr/local/dist/bin/perl
|
|
1826
|
2 |
'di';
|
|
|
3 |
'ig00';
|
|
|
4 |
#
|
|
|
5 |
# $Header$
|
|
|
6 |
#
|
|
|
7 |
# $Log$
|
|
2795
|
8 |
# Revision 1.2 1997/03/17 11:25:52 wenzelm
|
|
|
9 |
# fixed perl path;
|
|
|
10 |
#
|
|
|
11 |
# Revision 1.1.1.1 1996/06/25 15:44:59 oheimb
|
|
|
12 |
# Graphical 8bit Font Packet, see isabelle/Tools/8bit/doc/manual.dvi
|
|
|
13 |
# Author: Franz Regensburger; improvements by David von Oheimb
|
|
1826
|
14 |
#
|
|
|
15 |
# Revision 1.1.1.1 1996/06/25 13:58:23 oheimb
|
|
|
16 |
# Graphical 8bit Font Package imported, second attempt
|
|
|
17 |
#
|
|
|
18 |
#
|
|
|
19 |
# isapal.pl
|
|
|
20 |
# Franz Regensburger <regensbu@informatik.tu-muenchen.de>
|
|
|
21 |
# 21.3.95
|
|
|
22 |
#
|
|
|
23 |
# last changed:
|
|
|
24 |
#
|
|
|
25 |
# print the file palette.isa
|
|
|
26 |
#
|
|
|
27 |
# needs an 8bit terminal for output
|
|
|
28 |
|
|
|
29 |
$pack=$ENV{'ISABELLE8BIT'};
|
|
|
30 |
$filename = "$pack/doc/palette.isa";
|
|
|
31 |
|
|
|
32 |
open(INFILE,$filename) || die "can't open $filename: $!\n";
|
|
|
33 |
|
|
|
34 |
while (<INFILE>){ print;}
|
|
|
35 |
|
|
|
36 |
close(INFILE);
|
|
|
37 |
exit(0);
|
|
|
38 |
|
|
|
39 |
###############################################################
|
|
|
40 |
|
|
|
41 |
# These next few lines are legal in both Perl and nroff.
|
|
|
42 |
|
|
|
43 |
.00; # finish .ig
|
|
|
44 |
|
|
|
45 |
'di \" finish diversion--previous line must be blank
|
|
|
46 |
.nr nl 0-1 \" fake up transition to first page again
|
|
|
47 |
.nr % 0 \" start at page 1
|
|
|
48 |
'; __END__ ##### From here on it's a standard manual page #####
|