Blame view
circus/help/en_uk/menu.html
3.67 KB
8d0dc533f
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 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>
|