Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed perl path;
authorwenzelm
Mon, 17 Mar 1997 12:25:22 +0100 (1997-03-17)
changeset 2795 d136fff43370
parent 2794 2d259a41cd77
child 2796 c23e367e57be
fixed perl path;
src/Tools/8bit/Makefile file | annotate | diff | comparison | revisions
src/Tools/8bit/c-sources/a2isa/a2isa file | annotate | diff | comparison | revisions
src/Tools/8bit/c-sources/isa2latex/isa2latex file | annotate | diff | comparison | revisions
src/Tools/8bit/perl/codetable.pl file | annotate | diff | comparison | revisions
src/Tools/8bit/perl/generators/gen-isa2latex.pl file | annotate | diff | comparison | revisions
src/Tools/8bit/perl/generators/gen-isa_gnu_emacs.pl file | annotate | diff | comparison | revisions
src/Tools/8bit/perl/generators/gen-isa_xemacs.pl file | annotate | diff | comparison | revisions
src/Tools/8bit/perl/generators/gen-isaaxe.pl file | annotate | diff | comparison | revisions
src/Tools/8bit/perl/generators/gen-isadoc.pl file | annotate | diff | comparison | revisions
src/Tools/8bit/perl/generators/gen-isaterm.pl file | annotate | diff | comparison | revisions
src/Tools/8bit/perl/generators/gen-isavim.pl file | annotate | diff | comparison | revisions
src/Tools/8bit/perl/isapal.pl file | annotate | diff | comparison | revisions
src/Tools/8bit/perl/patcher.pl file | annotate | diff | comparison | revisions 
--- 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
Binary file src/Tools/8bit/c-sources/a2isa/a2isa has changed
Binary file src/Tools/8bit/c-sources/isa2latex/isa2latex has changed
--- 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>
--- 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';
 ###############################################
--- 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>
--- 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>
--- 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>
--- 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';
 ###############################################
--- 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>
--- 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>
--- 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
--- 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
isabelle