From 5a4bd6f2636df432383bb3144f91816742d2fa53 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sat, 9 Apr 2011 17:16:55 +0000
Subject: Renamed Machconcr into Machsem. Removed Machabstr and
 Machabstr2concr, now useless following the reengineering   of Stacking.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1633 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 doc/index.html | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'doc/index.html')

diff --git a/doc/index.html b/doc/index.html
index 9108a58e..9e2d79de 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>
-- 
cgit