CRefine

Gerador de Documentos

CRefine permite ao usuário obter um arquivo final no formato .tex contendo todas as etapas de seu refinamento, bem como as obrigações de prova, os comentários feitos e o código final obtido. Os comentários podem ser gerados no arquivo de saída, antes da linha onde ele foi gerado, depois da linha em que o mesmo foi gerado ou em uma lista separada ao fim do arquivo. Esse arquivo de saída pode ser utilizado na geração de um pdf que possibilita excelente visualização sobre todo o refinamento.
Para obter o arquivo de saída podemos ir a barra de menu e ativar o botão . Ou ir ao menu de Desenvolvimento e selecionar a opção de Imprimir em:

> Desenvolvimento-> Imprimir

Após selecionar a opção de Imprimir, uma pequena janela sera exibida requisitando do usuário quais ítens deverão fazer parte do arquivo de saída. O usuário também poderá escolher em que forma as obrigações de prova deverão ser imprimidas, podendo as mesmas estarem ou na forma expandida ou na forma reduzida.
Após a confirmação da seleção através do clique no botão "Ok", uma caixa de diálogo sera exibida, requerendo o nome e o local do arquivo a ser gerado. O arquivo gerado final esta no formato .tex.
Concluído esta escolha. Será exibido ao usuário uma mensagem de confirmação e sucesso na geração do arquivo final.