GSiril

<body><h1>GSiril</h1><p id="root" class="level1">Contents</p><ul> <li class="level2" id="intro.html"><img class="toggler" id="intro.html-img" onclick="toggle('intro.html')" width="9" height="9" src="../jsmenu/minus.png" alt="" /><a target="main" href="intro.html" shape="rect">Introduction</a><ul id="intro.html-children"><li class="level3"><a target="main" href="intro.html#what" shape="rect">What is GSiril?</a></li><li class="level3"><a target="main" href="intro.html#why" shape="rect">Why write another proving program?</a></li><li class="level3"><a target="main" href="intro.html#how" shape="rect">How do I use GSiril?</a></li><li class="level3"><a target="main" href="intro.html#eg" shape="rect">An example</a></li></ul></li> <li class="level2" id="operation.html"><img class="toggler" id="operation.html-img" onclick="toggle('operation.html')" width="9" height="9" src="../jsmenu/minus.png" alt="" /><a target="main" href="operation.html" shape="rect">Basic operation</a><ul id="operation.html-children"><li class="level3"><a target="main" href="operation.html#opts" shape="rect">Command line options</a></li><li class="level3"><a target="main" href="operation.html#msiril" shape="rect">MicroSiril compatibility</a></li><li class="level3"><a target="main" href="operation.html#operation" shape="rect">Interactive Mode</a></li></ul></li> <li class="level2" id="language.html"><img class="toggler" id="language.html-img" onclick="toggle('language.html')" width="9" height="9" src="../jsmenu/minus.png" alt="" /><a target="main" href="language.html" shape="rect">The GSiril language</a><ul id="language.html-children"><li class="level3"><a target="main" href="language.html#basics" shape="rect">Language basics</a></li><li class="level3"><a target="main" href="language.html#defns" shape="rect">Definitions</a></li><li class="level3"><a target="main" href="language.html#bells" shape="rect">The <code>bells</code>, <code>extents</code> and <code>rounds</code> statements</a></li><li class="level3"><a target="main" href="language.html#prove" shape="rect">The <code>prove</code> statement</a></li><li class="level3"><a target="main" href="language.html#import" shape="rect">The <code>import</code> statement</a></li></ul></li> <li class="level2" id="expression.html"><img class="toggler" id="expression.html-img" onclick="toggle('expression.html')" width="9" height="9" src="../jsmenu/minus.png" alt="" /><a target="main" href="expression.html" shape="rect">Expressions</a><ul id="expression.html-children"><li class="level3"><a target="main" href="expression.html#pn" shape="rect">Place notation</a></li><li class="level3"><a target="main" href="expression.html#ref" shape="rect">References</a></li><li class="level3"><a target="main" href="expression.html#repeat" shape="rect">Repetition</a></li><li class="level3"><a target="main" href="expression.html#fmt" shape="rect">Formatted output</a></li></ul></li> <li class="level2" id="proof.html"><img class="toggler" id="proof.html-img" onclick="toggle('proof.html')" width="9" height="9" src="../jsmenu/minus.png" alt="" /><a target="main" href="proof.html" shape="rect">Proving touches</a><ul id="proof.html-children"><li class="level3"><a target="main" href="proof.html#process" shape="rect">The proof process</a></li><li class="level3"><a target="main" href="proof.html#builtins" shape="rect">Built-in symbols</a></li></ul></li> <li class="level2" id="advanced.html"><img class="toggler" id="advanced.html-img" onclick="toggle('advanced.html')" width="9" height="9" src="../jsmenu/minus.png" alt="" /><a target="main" href="advanced.html" shape="rect">Advanced features</a><ul id="advanced.html-children"><li class="level3"><a target="main" href="advanced.html#dynass" shape="rect">Dynamic assignments</a></li><li class="level3"><a target="main" href="advanced.html#eg" shape="rect">A longer example</a></li></ul></li> <li class="level2" id="rulebased.html"><img class="toggler" id="rulebased.html-img" onclick="toggle('rulebased.html')" width="9" height="9" src="../jsmenu/minus.png" alt="" /><a target="main" href="rulebased.html" shape="rect">Rule-based touches</a><ul id="rulebased.html-children"><li class="level3"><a target="main" href="rulebased.html#wh" shape="rect">Wrong and Home</a></li><li class="level3"><a target="main" href="rulebased.html#repeat" shape="rect">The <code>repeat</code> and <code>break</code> constructs</a></li><li class="level3"><a target="main" href="rulebased.html#alt" shape="rect">Alternatives blocks</a></li><li class="level3"><a target="main" href="rulebased.html#dixons" shape="rect">Dixon's</a></li><li class="level3"><a target="main" href="rulebased.html#magic" shape="rect"><q>Magic</q> blocks</a></li></ul></li> <li class="level2" id="getting.html"><img class="toggler" id="getting.html-img" onclick="toggle('getting.html')" width="9" height="9" src="../jsmenu/minus.png" alt="" /><a target="main" href="getting.html" shape="rect">Getting GSiril</a><ul id="getting.html-children"><li class="level3"><a target="main" href="getting.html#src" shape="rect">Source code</a></li><li class="level3"><a target="main" href="getting.html#bin" shape="rect">GSiril binaries for Windows</a></li><li class="level3"><a target="main" href="getting.html#linux-bin" shape="rect">GSiril binaries for Linux</a></li><li class="level3"><a target="main" href="getting.html#licence" shape="rect">Licence</a></li></ul></li> <li class="level2" id="grammar.html"><img class="toggler" id="grammar.html-img" onclick="toggle('grammar.html')" width="9" height="9" src="../jsmenu/minus.png" alt="" /><a target="main" href="grammar.html" shape="rect">Formal grammar</a><ul id="grammar.html-children"><li class="level3"><a target="main" href="grammar.html#stmts" shape="rect">Statements</a></li><li class="level3"><a target="main" href="grammar.html#expr" shape="rect">Expressions</a></li><li class="level3"><a target="main" href="grammar.html#lex" shape="rect">Lexical structure</a></li></ul></li> </ul></body>