diff options
| author | Aleš Smodiš <aless@guru.si> | 2015-09-15 12:29:12 +0200 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-09-15 12:29:12 +0200 |
| commit | 39fa66c8602bad9278d6683b35e0be6cc1ab92cc (patch) | |
| tree | c66b74a946f51527fc051f33c102ea1affdbe5d4 /prolog.html | |
| parent | 43b3578dd8bf93cbfca7f5203175ac6dda6ec412 (diff) | |
Remove the old code: old communication, separate prolog and python pages.
Diffstat (limited to 'prolog.html')
| -rw-r--r-- | prolog.html | 105 |
1 files changed, 0 insertions, 105 deletions
diff --git a/prolog.html b/prolog.html deleted file mode 100644 index 4d07eb7..0000000 --- a/prolog.html +++ /dev/null @@ -1,105 +0,0 @@ -<!DOCTYPE html> -<html> - <head> - <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> - <meta name="viewport" content="width=device-width, target-densitydpi=device-dpi"> - <meta name="apple-mobile-web-app-capable" content="yes"> - <meta name="apple-mobile-web-app-status-bar-style" content="black-translucent"> - <meta name="format-detection" content="telephone=no"> - <link rel="stylesheet" href="css/jquery/jquery.terminal.css" type="text/css"> - <!-- CodeMirror --> - <link rel="stylesheet" href="css/codemirror/codemirror.css" type="text/css"> - <link rel="stylesheet" href="css/codemirror/show-hint.css" type="text/css"> - <!-- Bootstrap --> - <link href="css/bootstrap.min.css" rel="stylesheet"> - <link href="css/bootstrap-theme.min.css" rel="stylesheet"> - <!-- App --> - <link rel="stylesheet" href="css/codeq.css" type="text/css"> - <link rel="stylesheet" href="css/codeq/console.css" type="text/css"> - </head> - <body> - - <div class="navbar navbar-inverse navbar-fixed-top"> - <div class="container-fluid"> - <div class="navbar-header"> - <button type="button" class="navbar-toggle" data-toggle="collapse" data-target=".navbar-collapse"> - <span class="icon-bar"></span> - <span class="icon-bar"></span> - <span class="icon-bar"></span> - </button> - <a class="navbar-brand" href="#" title="Intelligent tutor system">CodeQ</a> - <a class="navbar-brand" id="title"></a> - </div> - <div class="collapse navbar-collapse"> - <ul class="nav navbar-nav navbar-right"> - <p class="navbar-text">Signed in as Franc Jožef</p> - <li class="dropdown"> - <a href="#" class="dropdown-toggle" data-toggle="dropdown" aria-expanded="true"> - <span class="glyphicon glyphicon glyphicon-user"></span> - </a> - <ul class="dropdown-menu"> - <li><a href="#">Profile</a></li> - <li><a href="#">Login or Signup</a></li> - <li><a href="#">Logout</a></li> - </ul> - </li> - <li><a href="#"><span class="glyphicon glyphicon glyphicon-wrench" aria-hidden="true"></span></a></li> - </ul> - </div><!--/.nav-collapse --> - - </div> - </div> - - <div class="container-fluid" id="gui"> - <div class="row" id="block-row"> - <div class="col-lg-3 col-md-6 col-sm-12 block"> - <div id="description"></div> - <div class="block-label">Instructions</div> - </div> - <div class="col-lg-3 col-md-6 col-sm-12 block"> - <nav class="navbar navbar-default" id="block-toolbar"> - <div class="container-fluid"> - <button type="button" class="btn btn-default navbar-btn" id="btn_code_run">Run</button> - <button type="button" class="btn btn-default navbar-btn" id="btn_code_break">Break</button> - <button type="button" class="btn btn-default navbar-btn" id="btn_code_hint">Hint</button> - <button type="button" class="btn btn-default navbar-btn" id="btn_code_test">Test</button> - </div> - </nav> - <div id="code_editor"></div> - <div class="block-label">Code</div> - </div> - <div class="col-lg-3 col-md-6 col-sm-12 block"> - <div id="console"></div> - <div class="block-label">Console</div> - </div> - <div class="col-lg-3 col-md-6 col-sm-12 block"> - <div id="info"></div> - <div class="block-label">Hints</div> - </div> - </div><!--/row--> - </div><!--container--> - - <!-- jQuery stuff --> - <script src="js/jquery/jquery-1.11.3.js"></script> - <script src="js/engine.io.js"></script> - <script src="js/jquery/jquery.terminal-0.8.8.js"></script> - <!--script src="js/jquery/jquery.console.js"></script> - <!-- Q promise library --> - <script src="js/q.js"></script> - <!-- Bootstrap --> - <script src="js/bootstrap/bootstrap.min.js"></script> - <!-- Cordova/PhoneGap --> - <script type="text/javascript" src="cordova.js"></script> - <!-- CodeMirror stuff --> - <script src="js/codemirror/codemirror.js"></script> - <script src="js/codemirror/matchbrackets.js"></script> - <script src="js/codemirror/prolog.js"></script> - <script src="js/codemirror/show-hint.js"></script> - <!-- codeq app --> - <script src="js/codeq.js"></script> - <script src="js/codeq/comms.js"></script> - <script src="js/codeq/console.js"></script> - <script src="js/def_parser.js"></script> - <script src="js/prolog.js"></script> - </body> -</html> |