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.