Juliano Cardoso / circusRefine

doc-generator.html 2.52 KB
edit raw blame history 
  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
<html>
<head>
    <title>CRefine</title>
    <link rel="stylesheet" type="text/css" href="../../style.css" />

</head>

<body>

<table>
    <tr height="10">
      <td>
      </td>
    </tr>
    <tr>
      <td class="tituloAzul">
        Gerador de Documentos
      </td>
    </tr>
    <tr>
      <td class="grande" width="500">
        <br>
        <div align="justify">
        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.
        <br>
        Para obter o arquivo de saída podemos ir a barra de menu e ativar
        o botão <img border = "0" src="../../../images/print.gif" align="center">.
        Ou ir ao menu de Desenvolvimento e selecionar a opção de Imprimir em:
        <blockquote>
        Desenvolvimento-> Imprimir
        </blockquote>

        <br>
        <br>
        <img border = "0" src="../images/doc.jpg" align="center">
        <br>
        <br>

        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.

        <br>
        <br>
        <img border = "0" src="../images/doc2.jpg" align="center">
        <br>
        <br>

        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.

        <br>
        <br>
        <img border = "0" src="../images/doc3.jpg" align="center">
        <br>
        <br>

        Concluído esta escolha. Será exibido ao usuário uma mensagem de
        confirmação e sucesso na geração do arquivo final.

        <br>
        <br>
        <img border = "0" src="../images/doc4.jpg" align="center">
        <br>
        <br>


        </div>
      </td>
    </tr>
</table>


</body>

</html>