Juliano Cardoso / circusRefine

Blame view

circus/help/en_uk/development/save-open.html 2.57 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
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
 
  <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">
          Save/Open Development
        </td>
      </tr>
      <tr>
        <td class="grande">
                 <div align="justify"> 
                 At any time in a development, the user has the choice to save it.
                 For that, he must choose the Save (or Save As) option in the Development menu.
                 Yet another way to achieve this is to click on the <img border =
                  "0" src="../../../images/save.gif" align="center"> button.
                 <br>
  
                 <br>
                 <br>
                 <img border = "0" src="../images/save.jpg" align="center">
                 <br>
                 <br>
  
  				A dialog box will be shown. The user must type the file name and choose 
  				a destination folder, where the XML file containing the development will be saved.
  
                 <br>
                 <br>
                 <img border = "0" src="../images/save2.jpg" align="center">
                 <br>
                 <br>
  
  				In order to open a previously saved refinement, the user can choose the Open option it
  				the Development menu or click on the button <img border =
                  "0" src="../../../images/open.gif" align="center">. After opening the saved development, 
                  CRefine checks the version compatibility with the chosen file.
                  
                 <br>
                 <br>
                 <img border = "0" src="../images/open.jpg" align="center">
                 <br>
                 <br>
  
  				A dialog box, very similar to the one used for Saving developments will be displayed. The
  				user must choose the XML file that contains the development. After choosing the file and 
  				clicking on open, the development will be loaded; a progress bar will display the progress
  				to the user.  
  				
                                <br>
                 <br>
                 <img border = "0" src="../images/loading.jpg" align="center">
                 <br>
                 <br>
  
  			   After loading the file, the development window, the proof obligations window, and the code 
  			   window will be updated. The user may continue the development. 
  
                 <br>
                 <br>
                 <img border = "0" src="../images/openedfile.jpg" align="center">
                 <br>
                 <br>
        </td>
      </tr>
  </table>
  
  
  </body>
  
  </html>