Juliano Cardoso / circusRefine

copy.html 1.41 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
<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">
        Copy to Clipboard
      </td>
    </tr>
    <tr>
      <td class="grande" width="500">
        <br>
        <div align="justify">
        The user can copy the selected text in the development window or
        in the proof obligation window to the system clipboard. This allows users
        to use this text in further applications. In order to copy a text,
         we must select the text we want to copy, and select the Copy option from the Edit menu.
        
        <br>
        <br>
        <img border = "0" src="../images/copy.jpg" align="center">
        <br>
        <br>

        Another way to achieve this is by using the pop-up menus and selecting the "Edit -> Copy" option.

        <br>
        <br>
        <img border = "0" src="../images/copy2.jpg" align="center">
        <br>
        <br>
    
        This can be achieved in both the development window (as presented above) or the proof obligations
        window as we show below.

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

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


</body>

</html>