<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">
Adicionar Parágrafo
</td>
</tr>
<tr>
<td class="grande" width="500">
<br>
<div align="justify">
During a development, one may want to include new paragraphs to the specification.
CRefine allows users to do this at any stage of refinement. For that, we must open the pop-up menu of the
development window by right-clicking on it and select the option "Add -> Paragraph".
<br>
<br>
<img border = "0" src="../images/addparagraph.jpg" align="center">
<br>
<br>
After selecting the option a small window will be shown to the user, in which he must type
the new paragraph to be inserted to the specification.
<br>
<br>
<img border = "0" src="../images/addparagraph2.jpg" align="center">
<br>
<br>
After typing the new paragraph and clicking on OK, the development and code windows are updated.
In the development window, an indication that a paragraph insertion has been done and the paragraph itself
will be displayed. The new paragraph will also be included in the code window.
<br>
<br>
<img border = "0" src="../images/addparagraph3.jpg" align="center">
<br>
<br>
</div>
</td>
</tr>
</table>
</body>
</html>