equal
deleted
inserted
replaced
|
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 |