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.
added ax2isa
authoroheimb
Wed, 05 Nov 1997 15:42:30 +0100
changeset 4169 c63f261fb025
parent 4168 d158fdc5a075
child 4170 6b8bbcc9f05f
added ax2isa
src/Tools/8bit/c-sources/a2isa/xlex.x file | annotate | diff | comparison | revisions 
--- a/src/Tools/8bit/c-sources/a2isa/xlex.x	Wed Nov 05 15:42:07 1997 +0100
+++ b/src/Tools/8bit/c-sources/a2isa/xlex.x	Wed Nov 05 15:42:30 1997 +0100
@@ -1,4 +1,4 @@
-/*  Title:      Tools/8bit/c-sources/a2isa/xlex.x
+/*  Title:      Tools/8bit/c-sources/a2isa/lex.x
     ID:         $Id$
     Author:     David von Oheimb
     Copyright   1996 TU Muenchen
isabelle