# HG changeset patch
# User wenzelm
# Date 858597922 -3600
# Node ID d136fff43370f8dc41bf70efedbf95254c480e37
# Parent  2d259a41cd77b3871f4acd814158866c0a070ccb
fixed perl path;

diff -r 2d259a41cd77 -r d136fff43370 src/Tools/8bit/Makefile
--- a/src/Tools/8bit/Makefile	Mon Mar 17 10:39:57 1997 +0100
+++ b/src/Tools/8bit/Makefile	Mon Mar 17 12:25:22 1997 +0100
@@ -33,7 +33,7 @@
 # Perl path and name for interpreter
 # should be a perl 4.x
 #PERL=/usr/bin/perl
-PERL=/usr/local/dist/DIR/perl4/bin/perl
+PERL=/usr/local/dist/bin/perl
 
 # use LaTeX2e instead of LaTeX 2.09
 # this flag is currently only sensible for perl script gen-isadoc
diff -r 2d259a41cd77 -r d136fff43370 src/Tools/8bit/c-sources/a2isa/a2isa
Binary file src/Tools/8bit/c-sources/a2isa/a2isa has changed
diff -r 2d259a41cd77 -r d136fff43370 src/Tools/8bit/c-sources/isa2latex/isa2latex
Binary file src/Tools/8bit/c-sources/isa2latex/isa2latex has changed
diff -r 2d259a41cd77 -r d136fff43370 src/Tools/8bit/perl/codetable.pl
--- a/src/Tools/8bit/perl/codetable.pl	Mon Mar 17 10:39:57 1997 +0100
+++ b/src/Tools/8bit/perl/codetable.pl	Mon Mar 17 12:25:22 1997 +0100
@@ -1,4 +1,4 @@
-#!/usr/local/dist/DIR/perl4/bin/perl
+#!/usr/local/dist/bin/perl
 #
 # codetable.pl
 # Franz Regensburger <regensbu@informatik.tu-muenchen.de>
diff -r 2d259a41cd77 -r d136fff43370 src/Tools/8bit/perl/generators/gen-isa2latex.pl
--- a/src/Tools/8bit/perl/generators/gen-isa2latex.pl	Mon Mar 17 10:39:57 1997 +0100
+++ b/src/Tools/8bit/perl/generators/gen-isa2latex.pl	Mon Mar 17 12:25:22 1997 +0100
@@ -1,4 +1,4 @@
-#!/usr/local/dist/DIR/perl4/bin/perl
+#!/usr/local/dist/bin/perl
 'di';
 'ig00';
 ###############################################
diff -r 2d259a41cd77 -r d136fff43370 src/Tools/8bit/perl/generators/gen-isa_gnu_emacs.pl
--- a/src/Tools/8bit/perl/generators/gen-isa_gnu_emacs.pl	Mon Mar 17 10:39:57 1997 +0100
+++ b/src/Tools/8bit/perl/generators/gen-isa_gnu_emacs.pl	Mon Mar 17 12:25:22 1997 +0100
@@ -1,4 +1,4 @@
-#!/usr/local/dist/DIR/perl4/bin/perl
+#!/usr/local/dist/bin/perl
 #
 # gen-isa_gnu_emacs
 # Franz Regensburger <regensbu@informatik.tu-muenchen.de>
diff -r 2d259a41cd77 -r d136fff43370 src/Tools/8bit/perl/generators/gen-isa_xemacs.pl
--- a/src/Tools/8bit/perl/generators/gen-isa_xemacs.pl	Mon Mar 17 10:39:57 1997 +0100
+++ b/src/Tools/8bit/perl/generators/gen-isa_xemacs.pl	Mon Mar 17 12:25:22 1997 +0100
@@ -1,4 +1,4 @@
-#!/usr/local/dist/DIR/perl4/bin/perl
+#!/usr/local/dist/bin/perl
 #
 # gen-isa_xemacs
 # Franz Regensburger <regensbu@informatik.tu-muenchen.de>
diff -r 2d259a41cd77 -r d136fff43370 src/Tools/8bit/perl/generators/gen-isaaxe.pl
--- a/src/Tools/8bit/perl/generators/gen-isaaxe.pl	Mon Mar 17 10:39:57 1997 +0100
+++ b/src/Tools/8bit/perl/generators/gen-isaaxe.pl	Mon Mar 17 12:25:22 1997 +0100
@@ -1,4 +1,4 @@
-#!/usr/local/dist/DIR/perl4/bin/perl
+#!/usr/local/dist/bin/perl
 #
 # gen-isaaxe
 # Franz Regensburger <regensbu@informatik.tu-muenchen.de>
diff -r 2d259a41cd77 -r d136fff43370 src/Tools/8bit/perl/generators/gen-isadoc.pl
--- a/src/Tools/8bit/perl/generators/gen-isadoc.pl	Mon Mar 17 10:39:57 1997 +0100
+++ b/src/Tools/8bit/perl/generators/gen-isadoc.pl	Mon Mar 17 12:25:22 1997 +0100
@@ -1,4 +1,4 @@
-#!/usr/local/dist/DIR/perl4/bin/perl
+#!/usr/local/dist/bin/perl
 'di';
 'ig00';
 ###############################################
diff -r 2d259a41cd77 -r d136fff43370 src/Tools/8bit/perl/generators/gen-isaterm.pl
--- a/src/Tools/8bit/perl/generators/gen-isaterm.pl	Mon Mar 17 10:39:57 1997 +0100
+++ b/src/Tools/8bit/perl/generators/gen-isaterm.pl	Mon Mar 17 12:25:22 1997 +0100
@@ -1,4 +1,4 @@
-#!/usr/local/dist/DIR/perl4/bin/perl
+#!/usr/local/dist/bin/perl
 #
 # gen-isaterm
 # Franz Regensburger <regensbu@informatik.tu-muenchen.de>
diff -r 2d259a41cd77 -r d136fff43370 src/Tools/8bit/perl/generators/gen-isavim.pl
--- a/src/Tools/8bit/perl/generators/gen-isavim.pl	Mon Mar 17 10:39:57 1997 +0100
+++ b/src/Tools/8bit/perl/generators/gen-isavim.pl	Mon Mar 17 12:25:22 1997 +0100
@@ -1,4 +1,4 @@
-#!/usr/local/dist/DIR/perl4/bin/perl
+#!/usr/local/dist/bin/perl
 #
 # gen-isavim
 # Franz Regensburger <regensbu@informatik.tu-muenchen.de>
diff -r 2d259a41cd77 -r d136fff43370 src/Tools/8bit/perl/isapal.pl
--- a/src/Tools/8bit/perl/isapal.pl	Mon Mar 17 10:39:57 1997 +0100
+++ b/src/Tools/8bit/perl/isapal.pl	Mon Mar 17 12:25:22 1997 +0100
@@ -1,12 +1,16 @@
-#!/usr/local/dist/DIR/perl4/bin/perl
+#!/usr/local/dist/bin/perl
 'di';
 'ig00';
 #
 # $Header$
 #
 # $Log$
-# Revision 1.1  1996/06/25 15:44:59  oheimb
-# Initial revision
+# Revision 1.2  1997/03/17 11:25:52  wenzelm
+# fixed perl path;
+#
+# Revision 1.1.1.1  1996/06/25  15:44:59  oheimb
+# Graphical 8bit Font Packet, see isabelle/Tools/8bit/doc/manual.dvi
+# Author: Franz Regensburger; improvements by David von Oheimb
 #
 # Revision 1.1.1.1  1996/06/25  13:58:23  oheimb
 # Graphical 8bit Font Package imported, second attempt
diff -r 2d259a41cd77 -r d136fff43370 src/Tools/8bit/perl/patcher.pl
--- a/src/Tools/8bit/perl/patcher.pl	Mon Mar 17 10:39:57 1997 +0100
+++ b/src/Tools/8bit/perl/patcher.pl	Mon Mar 17 12:25:22 1997 +0100
@@ -1,12 +1,16 @@
-#!/usr/local/dist/DIR/perl4/bin/perl
+#!/usr/local/dist/bin/perl
 'di';
 'ig00';
 #
 # $Header$
 #
 # $Log$
-# Revision 1.1  1996/06/25 15:44:59  oheimb
-# Initial revision
+# Revision 1.2  1997/03/17 11:25:53  wenzelm
+# fixed perl path;
+#
+# Revision 1.1.1.1  1996/06/25  15:44:59  oheimb
+# Graphical 8bit Font Packet, see isabelle/Tools/8bit/doc/manual.dvi
+# Author: Franz Regensburger; improvements by David von Oheimb
 #
 # Revision 1.1.1.1  1996/06/25  13:58:24  oheimb
 # Graphical 8bit Font Package imported, second attempt