diff options
| author | Aleš Smodiš <aless@guru.si> | 2015-07-13 17:56:49 +0200 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-07-13 17:56:49 +0200 |
| commit | 5f8015714f94a7d1785cf148c257d3be72d1e6c9 (patch) | |
| tree | d28b2b6bc0941db81d1dff943408a6339f621a8b /prolog.html | |
Initial commit: bare page for Prolog tasks with editor and command prompt, lightweight task definition parser of pythonic assignment statements.
Diffstat (limited to 'prolog.html')
| -rw-r--r-- | prolog.html | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/prolog.html b/prolog.html new file mode 100644 index 0000000..e35aea8 --- /dev/null +++ b/prolog.html @@ -0,0 +1,39 @@ +<!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/lib/jquery.terminal.css" type="text/css"--> + <link rel="stylesheet" href="css/lib/codemirror.css" type="text/css"> + <link rel="stylesheet" href="css/codeq.css" type="text/css"> + </head> + <body onload="start();"> + + <div id="gui"> + <nav><ul><li>Fullscreen</li><li>Profile</li><li>Root screen</li></ul></nav> + <div id="description" class="block">Opis, navodila</div> + <div id="code_editor" class="block"> + <textarea id="program"></textarea> + </div> + <div id="console" class="block"> + </div> + <div id="info" class="block"> + Hints + </div> + </div> + + <!-- jQuery stuff --> + <script src="js/lib/jquery-1.11.3.js"></script> + <!--script src="js/lib/jquery.terminal-0.8.8.js"></script--> + <script src="js/lib/jquery.console.js"></script> + <!-- CodeMirror stuff --> + <script src="js/lib/codemirror.js"></script> + <script src="js/lib/matchbrackets.js"></script> + <script src="js/lib/prolog.js"></script> + <!-- codeq app --> + <script src="js/codeq.js"></script> + </body> +</html>
\ No newline at end of file |