<html>
<head>
<title>CRefine</title>
<link rel="stylesheet" type="text/css" href="../../style.css" />
</head>
<body>
<table>
<tr height="10">
<td>
</td>
</tr>
<tr>
<td class="tituloAzul">
Codigo
</td>
</tr>
<tr>
<td class="grande" width="500">
<br>
<div align="justify">
The code window shows the current status of the code calculated so far.
As soon as the user loads a specification to be refined, the initial program is displayed in the code
window. As transformation are applied to this program, using the development window,
the code window is changed accordingly.
<br>
<br>
<img border = "0" src="../images/code.jpg" align="center">
<br>
<br>
</div>
</td>
</tr>
</table>
</body>
</html>