Juliano Cardoso / circusRefine

development.html 1.85 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
<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">
        Janela de Desenvolvimento
      </td>
    </tr>
    <tr>
      <td class="grande" width="500">
        <br>
        <div align="justify">
        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.
        <br>
        <br>

        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: <a href="../utils/latex-unicode.html" target="body">Latex/Unicode
        </a>.
        <br>
        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 <a href=
        "../utils/comments.html" target="body">Comentário</a>,
        Editar Comentário, Remover Comentário, Visualizar Comentário, <a href=
        "../utils/law-details.html" target="body"> Ver os Detalhes de uma Lei Aplicada</a>
        , <a href=
        "../utils/add-paragraph.html" target="body">Adicionar Parágrafo</a> e
        <a href=
        "../utils/copy.html" target="body">Copiar</a>.

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


        </div>


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


</body>

</html>