<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> <!--Converted with LaTeX2HTML 2002-2-1 (1.71) original version by: Nikos Drakos, CBLU, University of Leeds * revised and updated by: Marcus Hennecke, Ross Moore, Herb Swan * with significant contributions from: Jens Lippmann, Marek Rouchal, Martin Wilck and others --> <HTML> <HEAD> <TITLE>List of Figures</TITLE> <META NAME="description" CONTENT="List of Figures"> <META NAME="keywords" CONTENT="ifm"> <META NAME="resource-type" CONTENT="document"> <META NAME="distribution" CONTENT="global"> <META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1"> <META NAME="Generator" CONTENT="LaTeX2HTML v2002-2-1"> <META HTTP-EQUIV="Content-Style-Type" CONTENT="text/css"> <LINK REL="STYLESHEET" HREF="ifm.css"> <LINK REL="next" HREF="node3.htm"> <LINK REL="previous" HREF="node1.htm"> <LINK REL="up" HREF="ifm.htm"> <LINK REL="next" HREF="node3.htm"> </HEAD> <BODY > <DIV CLASS="navigation"><!--Navigation Panel--> <A NAME="tex2html152" HREF="node3.htm"> <IMG WIDTH="37" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="next" SRC="next.gif"></A> <A NAME="tex2html148" HREF="ifm.htm"> <IMG WIDTH="26" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="up" SRC="up.gif"></A> <A NAME="tex2html142" HREF="node1.htm"> <IMG WIDTH="63" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="previous" SRC="prev.gif"></A> <A NAME="tex2html150" HREF="node1.htm"> <IMG WIDTH="65" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="contents" SRC="contents.gif"></A> <BR> <B> Next:</B> <A NAME="tex2html153" HREF="node3.htm">List of Tables</A> <B> Up:</B> <A NAME="tex2html149" HREF="ifm.htm">IFM</A> <B> Previous:</B> <A NAME="tex2html143" HREF="node1.htm">Contents</A> <B> <A NAME="tex2html151" HREF="node1.htm">Contents</A></B> <BR> <BR></DIV> <!--End of Navigation Panel--> <BR> <H2><A NAME="SECTION00020000000000000000"> List of Figures</A> </H2><UL> <LI>1. <A NAME="tex2html2" HREF="node5.htm#1551">Infocom-style map</A> <LI>2. <A NAME="tex2html13" HREF="node10.htm#1673">Map produced by <TT>scr2ifm</TT></A></UL> <P> <BR><HR> </BODY> </HTML>