taddeus
/
trs


			
				
					
						
						
							123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778
							<!DOCTYPE HTML>
<html>
    <head>
        <meta http-equiv="content-type" content="text/html; charset=utf-8">
        <title>Mathematical term rewriting frontend</title>
        <link rel="stylesheet" href="/static/bootstrap/css/bootstrap.min.css">
        <link rel="stylesheet" href="/static/frontend/css/editor.css">
    </head>
    <body>
        <div class="navbar navbar-inverse navbar-fixed-top">
            <div class="navbar-inner">
                <div class="container">
                    <a class="brand" href="">Mathematical Term Rewriting</a>
                    <ul class="nav">
                        <li class="active"><a href="index.html">Editor</a></li>
                        <li><a id="tutorial" href="#">Tutorial</a></li>
                        <li class="dropdown" id="examples">
                            <a href="#" data-toggle="dropdown" class="dropdown-toggle">
                                Examples <b class="caret"></b>
                            </a>
                            <ul class="dropdown-menu">
                                <li><a href="#">Validation &amp; hints</a></li>
                                <li><a href="#">Steps</a></li>
                                <li><a href="#">Direct answer</a></li>
                            </ul>
                        </li>
                        <li><a href="docs.html">Documentation</a></li>
                    </ul>
                </div>
            </div>
        </div>

        <div class="container">
            <div id="error" class="alert alert-error">
                <button type="button" class="close">&times;</button>
                <strong>Error</strong> <span class="text"></span>
            </div>

            <div class="row">
                <div class="span12">
                    <div class="btn-toolbar">
                        <button id="btn-clear" class="btn">clear</button>
                        <div class="btn-group">
                            <button id="btn-validate" class="btn btn-info">validate</button>
                            <button id="btn-hint" class="btn btn-info">hint</button>
                            <button id="btn-step" class="btn btn-info">step</button>
                        </div>
                        <button id="btn-answer" class="btn">answer</button>
                        <div id="loader"></div>
                    </div>
                </div>
            </div>

            <div class="row">
                <div class="span6">
                    <textarea id="math-input" class="span6 math-input"></textarea>
                </div>
                <div class="span6">
                    <div id="pretty-print" class="well pretty-print"></div>
                </div>
            </div>

            <div class="row">
                <div class="span12 credits">
                    Idea and feedback by <a href="http://homepages.cwi.nl/~apt/" target="_blank">Krzysztof R. Apt</a>,
                    implementation by <a href="https://github.com/taddeus" target="_blank">Tadde&uuml;s Kroes</a>
                    and <a href="http://smvv.kompiler.org" target="_blank">Sander van Veen</a>.
                </div>
            </div>
        </div>

        <script type="text/javascript" src="/static/js/jquery-1.8.2.min.js"></script>
        <script type="text/javascript" src="/static/bootstrap/js/bootstrap.min.js"></script>
        <script type="text/javascript" src="/static/external/mathjax/MathJax.js?config=AM_HTMLorMML-full"></script>
        <script type="text/javascript" src="/static/frontend/js/editor.js"></script>
        <script type="text/javascript" src="/static/frontend/js/examples.js"></script>
    </body>
</html>