src/Tools/8bit/man/man1/isapal.1

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/8bit/man/man1/isapal.1	Tue Jun 25 17:44:43 1996 +0200
@@ -0,0 +1,26 @@
+.TH ISAPAL 1 "March 30, 1995"
+.AT 3
+.SH NAME
+isapal \- a perl4.x script
+.SH SYNOPSIS
+.B isapal 
+.SH DESCRIPTION
+.I Isapal
+prints the 8bit font for Isabelle to stdout. Usually the script is
+only used in an environment that is capable of showing the 8bit font,
+e\.g\. inside an Isabelle terminal \fIisaterm\fP.
+.SH ENVIRONMENT
+No environment variables are used.
+.SH FILES
+None.
+.SH AUTHOR
+Franz Regensburger
+.SH SEE ALSO
+Documentation in the 
+.I doc
+directory of the 8bit package.
+
+.SH DIAGNOSTICS
+
+.SH BUGS
+