CRefine

Janela de Desenvolvimento

A janela de desenvolvimento exibe todos os passos de refinamento realizados pelo usuário, ou seja, uma seqüência de transformações de um programa inicial, dando destaque as aplicações de leis de refinamento.
Tal janela, pode exibir o refinamento tanto no formato LaTex, geralmente mais utilizado no meio científico, quanto no formato Unicode, para aqueles que não dominam o LaTeX. Para aprender como se modifica a formatação veja: Latex/Unicode .
Além disso, a janela de Desenvolvimento possui um Popup Menu associado. Para acessá-lo basta clicar com o botão direito do mouse na própria janela. Tal menu permite ao usuário: Aplicar Lei, Coletar Código, Inserir Comentário, Editar Comentário, Remover Comentário, Visualizar Comentário, Ver os Detalhes de uma Lei Aplicada , Adicionar Parágrafo e Copiar.