|
|
@@ -0,0 +1,28 @@
|
|
|
+<!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/frontend/css/editor.css">
|
|
|
+ <link rel="stylesheet" href="/static/bootstrap/css/bootstrap.min.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><a href="index.html">Editor</a></li>
|
|
|
+ <li class="active"><a href="tutorial.html">Tutorial</a></li>
|
|
|
+ </ul>
|
|
|
+ </div>
|
|
|
+ </div>
|
|
|
+ </div>
|
|
|
+
|
|
|
+ <div class="container">
|
|
|
+ </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>
|
|
|
+ </body>
|
|
|
+</html>
|
Taddeus Kroes