Juliano Cardoso / circusRefine

latex-unicode.html 1.59 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
<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">
        Latex/Unicode
      </td>
    </tr>
    <tr>
      <td class="grande" width="500">
        <br>
        <div align="justify">
        CRefine permite que o programa seja exibido em dois tipos de formato:
        LaTeX e Unicode. O formato LaTeX geralmente é mais utilizado no meio
        científico. Unicode é um formato mais acessível pois apresenta  diretamente
        os símbolos que compõe a linguagem Circus.
        <br>
        Durante o carregamento do arquivo LaTeX que representa a especificação
        inicial, CRefine realiza uma pré-formatação necessária para organizar o
        programa na tela e facilitar a seleção de termos e conseq^uentemente, todo o
        processo de refinamento.
        <br>
        A alteração do formato de exibição é realizada facilmente sobre a
        barra de menu, selecionando o tipo de formatação.

        <br>
        <br>
        <img border = "0" src="../images/latex-unicode.jpg" align="center">
        <br>
        <br>

        Após a seleção da formatação, as janelas de Desenvolvimento, Código
        e Obrigação de Prova são atualizadas de acordo com a nova formatação.

        <br>
        <br>
        <img border = "0" src="../images/unicode-latex.jpg" align="center">
        <br>
        <br>

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




</body>

</html>