diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/index.html | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/index.html b/doc/index.html index 9108a58..9e2d79d 100644 --- a/doc/index.html +++ b/doc/index.html @@ -130,8 +130,7 @@ replaced by a linear list of instructions with explicit branches and labels. spilling, reloading and enforcement of calling conventions. <LI> <A HREF="html/Mach.html">Mach</A>: like Linear, with a more concrete view of the activation record. <BR> -See also: <A HREF="html/Machabstr.html">Machabstr</A> abstract semantics for Mach. <BR> -See also: <A HREF="html/Machconcr.html">Machconcr</A> concrete semantics for Mach. +See also: <A HREF="html/Machsem.html">Machabstr</A> operational semantics for Mach. <BR> <LI> <A HREF="html/Asm.html">Asm</A>: abstract syntax for PowerPC assembly code. </UL> |