summaryrefslogtreecommitdiff
path: root/index.html
diff options
context:
space:
mode:
Diffstat (limited to 'index.html')
-rw-r--r--index.html18
1 files changed, 12 insertions, 6 deletions
diff --git a/index.html b/index.html
index 6f109f3..6b2c31e 100644
--- a/index.html
+++ b/index.html
@@ -82,11 +82,11 @@
<div class="container-fluid" id="screen_prolog" style="display: none;">
<div class="row">
- <div class="col-lg-3 col-md-6 col-sm-12 block">
+ <div class="col-lg-3 col-md-6 col-sm-12 block" id="description_outer_div">
<div id="description"></div>
<div class="block-label">Instructions</div>
</div>
- <div class="col-lg-3 col-md-6 col-sm-12 block">
+ <div class="col-lg-3 col-md-6 col-sm-12 block" id="code_editor_outer_div">
<nav class="navbar navbar-default" id="block-toolbar">
<div class="container-fluid">
<button type="button" class="btn btn-default navbar-btn" id="btn_code_hint">Hint</button>
@@ -96,11 +96,11 @@
<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 class="col-lg-3 col-md-6 col-sm-12 block" id="console_outer_div">
<div id="console"></div>
<div class="block-label">Console</div>
</div>
- <div class="col-lg-3 col-md-6 col-sm-12 block">
+ <div class="col-lg-3 col-md-6 col-sm-12 block" id="info_outer_div">
<div id="info"></div>
<div class="block-label">Hints</div>
</div>
@@ -129,12 +129,18 @@
<script src="js/codemirror/show-hint.js"></script>
<!-- codeq app -->
<script src="js/codeq.js"></script>
+ <script src="js/codeq/stateMachine.js"></script>
<script src="js/codeq/comms.js"></script>
<script src="js/codeq/console.js"></script>
<script src="js/codeq/hint.js"></script>
<script src="js/def_parser.js"></script>
- <script src="js/prolog.js"></script>
- <script src="js/python.js"></script>
+ <!-- <script src="js/codeq/prologPythonLib.js"></script> -->
+ <script src="js/codeq/prolog.js"></script>
+ <script src="js/codeq/python.js"></script>
+ <!-- <script src="js/prolog.js"></script> -->
+ <!-- <script src="js/python.js"></script> -->
+ <script src="js/codeq/login.js"></script>
+ <script src="js/codeq/mainScreen.js"></script>
<script src="js/codeq/startup.js"></script>
</body>
</html>