--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/8bit/perl/isapal.pl Tue Jun 25 17:44:43 1996 +0200
@@ -0,0 +1,44 @@
+#!/usr/local/dist/DIR/perl4/bin/perl
+'di';
+'ig00';
+#
+# $Header$
+#
+# $Log$
+# Revision 1.1 1996/06/25 15:44:59 oheimb
+# Initial revision
+#
+# Revision 1.1.1.1 1996/06/25 13:58:23 oheimb
+# Graphical 8bit Font Package imported, second attempt
+#
+#
+# isapal.pl
+# Franz Regensburger <regensbu@informatik.tu-muenchen.de>
+# 21.3.95
+#
+# last changed:
+#
+# print the file palette.isa
+#
+# needs an 8bit terminal for output
+
+$pack=$ENV{'ISABELLE8BIT'};
+$filename = "$pack/doc/palette.isa";
+
+open(INFILE,$filename) || die "can't open $filename: $!\n";
+
+while (<INFILE>){ print;}
+
+close(INFILE);
+exit(0);
+
+###############################################################
+
+ # These next few lines are legal in both Perl and nroff.
+
+.00; # finish .ig
+
+'di \" finish diversion--previous line must be blank
+.nr nl 0-1 \" fake up transition to first page again
+.nr % 0 \" start at page 1
+'; __END__ ##### From here on it's a standard manual page #####