CRefine

Development Window

The development windows shows all the refinement steps that were taken by the user, that means, a sequence of transformations from a initial program, focusing on the refinement law applications.
This window can display the development in either LaTeX of Unicode format. The former is most used by the scientific community and the latter can be used by those who do not have LaTeX knowledge. Please, refer to Latex/Unicode in order to learn how to move from one format to the other.
Furthermore, the development window has an associated pop-up menu. In order to access it, simply click on the right-hand side mouse button on the development window. This menu allows users to: Apply Refinement law, collect code, Insert Comment, Edit comment, Remove Comment, See Comment, See Details of Applied Law, Add Paragraph and Copy text.