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".
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.
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.
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.
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.