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.
corrected Header
authoroheimb
Mon, 19 Oct 1998 15:37:02 +0200
changeset 5674 dfbe923fb881
parent 5673 5dc45f449198
child 5675 000879172ee4
corrected Header
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/perl/isapal.pl	Mon Oct 19 15:34:50 1998 +0200
+++ b/src/Tools/8bit/perl/isapal.pl	Mon Oct 19 15:37:02 1998 +0200
@@ -5,7 +5,10 @@
 # $Header$
 #
 # $Log$
-# Revision 1.2  1997/03/17 11:25:52  wenzelm
+# Revision 1.3  1998/10/19 13:37:02  oheimb
+# corrected Header
+#
+# 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
--- a/src/Tools/8bit/perl/patcher.pl	Mon Oct 19 15:34:50 1998 +0200
+++ b/src/Tools/8bit/perl/patcher.pl	Mon Oct 19 15:37:02 1998 +0200
@@ -5,7 +5,10 @@
 # $Header$
 #
 # $Log$
-# Revision 1.2  1997/03/17 11:25:53  wenzelm
+# Revision 1.3  1998/10/19 13:37:03  oheimb
+# corrected Header
+#
+# 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
isabelle