diff options
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 5 |
1 files changed, 0 insertions, 5 deletions
@@ -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> |