Juliano Cardoso / circusRefine

menu.html.backup 3.58 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
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">

    <title>CRefine</title>
    <link rel="stylesheet" type="text/css" href="../sdmenu/sdmenu.css" />
    <script type="text/javascript" src="../sdmenu/sdmenu.js">
        /***********************************************
        * Slashdot Menu script- By DimX
        * Submitted to Dynamic Drive DHTML code library: http://www.dynamicdrive.com
        * Visit Dynamic Drive at http://www.dynamicdrive.com/ for full source code
        ***********************************************/
    </script>
    <script type="text/javascript">
    // <![CDATA[
    var myMenu;
    window.onload = function() {
        myMenu = new SDMenu("my_menu");
        myMenu.init();
    };
    // ]]>
    </script>

    <SCRIPT LANGUAGE=JAVASCRIPT>
    <!--
        function fnUpdate(language){
           top.menu.location="../"+language+"/menu.html";
           top.body.location="../"+language+"/welcome.html";
        }
    // -->
    </SCRIPT>

  </head>
  <body>
    <table align="center">
        <tr>
            <td>
                <a href="./../pt_br/menu.html" target="menu" onClick="fnUpdate('pt_br');" border="0">
                    <img src="../images/br_small.jpg" alt="Mudar para Português" style="border-style: none"/>
                </a>
            </td>
            <td>
                <a href="./../en_uk/menu.html" target="menu" onClick="fnUpdate('en_uk');" border="0">
                    <img src="../images/uk_small.jpg" alt="Switch to English" style="border-style: none"/>
                </a>
            </td>
        </tr>
    </table>
    <div style="float: center" id="my_menu" class="sdmenu">
      <div class="collapsed">
        <span>Development</span>
        <a href="./development/start.html" target="body">Start</a>
        <a href="./development/development.html" target="body">Development</a>
        <a href="./development/save-open.html" target="body">Save/Open</a>
        <a href="./development/undo-redo.html" target="body">Undo/Redo</a>
      </div>
      <div class="collapsed">
        <span>Syntax</span>
        <a href="../docs/symbols.pdf" target="body">List of Symbols (pdf)</a>
      </div>
      <div class="collapsed">
        <span>Summary of Laws</span>
<!--        <a href="./laws/simulation.html" target="body">Simulation Laws</a>
        <a href="./laws/action.html" target="body">Action Laws</a>
        <a href="./laws/process.html" target="body">Process Laws</a>
-->
        <a href="../docs/refinement-laws.pdf" target="body">All Laws (pdf)</a>
      </div>
      <div class="collapsed">
        <span>Windows</span>
        <a href="./gui/development.html" target="body">Development</a>
        <a href="./gui/proofobligation.html" target="body">Proof Obligations</a>
        <a href="./gui/code.html" target="body">Code</a>
      </div>
      <div class="collapsed">
        <span>Utilities</span>
        <a href="./utils/doc-generator.html" target="body">Document Generator</a>
        <a href="./utils/comments.html" target="body">Comments</a>
        <a href="./utils/law-details.html" target="body">Law Details</a>
        <a href="./utils/latex-unicode.html" target="body">Latex/Unicode</a>
        <a href="./utils/copy.html" target="body">Copy to Clipboard</a>
        <a href="./utils/add-paragraph.html" target="body">Add Paragraph</a>
        <a href="./utils/virtual-keyboard.html" target="body">Virtual Keyboard</a>
      </div>
    </div>
  </body>
</html>