|
1826
|
1 |
.TH ISAPAL 1 "March 30, 1995"
|
|
|
2 |
.AT 3
|
|
|
3 |
.SH NAME
|
|
|
4 |
isapal \- a perl4.x script
|
|
|
5 |
.SH SYNOPSIS
|
|
|
6 |
.B isapal
|
|
|
7 |
.SH DESCRIPTION
|
|
|
8 |
.I Isapal
|
|
|
9 |
prints the 8bit font for Isabelle to stdout. Usually the script is
|
|
|
10 |
only used in an environment that is capable of showing the 8bit font,
|
|
|
11 |
e\.g\. inside an Isabelle terminal \fIisaterm\fP.
|
|
|
12 |
.SH ENVIRONMENT
|
|
|
13 |
No environment variables are used.
|
|
|
14 |
.SH FILES
|
|
|
15 |
None.
|
|
|
16 |
.SH AUTHOR
|
|
|
17 |
Franz Regensburger
|
|
|
18 |
.SH SEE ALSO
|
|
|
19 |
Documentation in the
|
|
|
20 |
.I doc
|
|
|
21 |
directory of the 8bit package.
|
|
|
22 |
|
|
|
23 |
.SH DIAGNOSTICS
|
|
|
24 |
|
|
|
25 |
.SH BUGS
|
|
|
26 |
|