summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--index.html5
1 files changed, 0 insertions, 5 deletions
diff --git a/index.html b/index.html
index 6b2c31e..69a8f60 100644
--- a/index.html
+++ b/index.html
@@ -114,7 +114,6 @@
<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 -->
@@ -134,13 +133,9 @@
<script src="js/codeq/console.js"></script>
<script src="js/codeq/hint.js"></script>
<script src="js/def_parser.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>