<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">





<STYLE>
.fbinfobox
{  
     padding: 10px;  
     font-size: 13px;  
     font-weight: bold;  
 }  
 

</STYLE>
<HTML>

<body bgcolor="#fff9d7">


<div class="fbinfobox">  
<P ALIGN=CENTER STYLE="margin-top: 0.42cm; page-break-after: avoid">
<FONT FACE="Albany">
<FONT SIZE=5>
<B>Table of Content</B>
</FONT>
</P>

<P ALIGN=CENTER STYLE="margin-top: 0.42cm; page-break-after: avoid"><A  TARGET="document" HREF="content.html"><B><I><FONT SIZE=4><FONT FACE="Albany">
PLEDGE - A Product Line EDitor and tests GEneration tool</FONT></FONT></I></B></A></P>

<P STYLE="margin-bottom: 0cm; margin-left: 0.5cm"><A TARGET="document" HREF="content.html#introduction">1
Introduction</A></P>
<P STYLE="margin-left: 1cm; margin-bottom: 0cm"><A TARGET="document" HREF="content.html#what">What is PLEDGE?</A></P>
<P STYLE="margin-left: 1cm; margin-bottom: 0cm"><A TARGET="document" HREF="content.html#features">Features</A></P>

<P STYLE="margin-bottom: 0cm; margin-left: 0.5cm"><A TARGET="document" HREF="content.html#usage">Usage</A></P>
<P STYLE="margin-left: 1cm; margin-bottom: 0cm"><A TARGET="document" HREF="content.html#init">Starting Window
</A></P>
<P STYLE="margin-left: 1cm; margin-bottom: 0cm"><A TARGET="document" HREF="content.html#menu">The Menu Bar
</A></P>
<P STYLE="margin-left: 1cm; margin-bottom: 0cm"><A TARGET="document" HREF="content.html#tool">The Tool Bar
</A></P>

<P STYLE="margin-left: 1cm; margin-bottom: 0cm"><A TARGET="document" HREF="content.html#status">The Status Bar
</A></P>

<P STYLE="margin-left: 1cm; margin-bottom: 0cm"><A TARGET="document" HREF="content.html#loadfm">Loading a Feature Model and Generating Products
</A></P>
<P STYLE="margin-left: 1cm; margin-bottom: 0cm"><A TARGET="document" HREF="content.html#prodsformat">Products File Format
</A></P>

<P STYLE="margin-left: 1cm; margin-bottom: 0cm"><A TARGET="document" HREF="content.html#loadprods">Loading Products and Prioritizing them
</A></P>




</div>
</body>
</HTML>
