Juliano Cardoso / circusRefine

Blame view

circus/help/en_uk/development/start.html 1.38 KB
edit raw normal view history
8d0dc533f   Madiel de Souza Conserva Filho   first 
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
 
  <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">
          Start Development
        </td>
      </tr>
      <tr>
        <td class="grande">
            <div align="justify"> In order to start the refinement of a
            specification, the user must open the specification in the .tex format
            within the tool. For that, the user must select "Development -> New"
            from the menu as we show in the figure below, or in the button 
            <img border = "0" src="../../../images/new.gif" align="center">.
            <br>
            <br>
            <img border = "0" src="../images/novo.jpg" align="center">
            <br>
            <br>
            The file selection window be shown. After selecting the file, CRefine
            will do a lexical and syntactical analysis. If any errors are found,
            the errors will be displayed to the user in an error window. The syntactic 
            error, as well as any possible exceptions that are consequence of these
            errors will described to the user. If no errors are found, the initial
            specification will be displayed to the user in LaTeX format.
            </div>
        </td>
      </tr>
  </table>
  
  
  </body>
  
  </html>