summaryrefslogtreecommitdiff
path: root/js/prolog.js
AgeCommit message (Expand)Author
2015-09-18changes for th latest changesRobert Zorko
2015-09-18Merge branch 'master' into stateMachineRobert Zorko
2015-09-18Bugfix: join the array of removed character into a string, when the user make...Aleš Smodiš
2015-09-18updated for the recent changes in hte prolog and python.js filesRobert Zorko
2015-09-18XMerge branch 'master' of ssh://212.235.189.51:22122/codeq-webRobert Zorko
2015-09-18added python and prolog into two different statesRobert Zorko
2015-09-17Refactored hint handling into a separate module.Aleš Smodiš
2015-09-17Minor bugfix in prolog mode terminal: don't add an additional full-stop on ma...Aleš Smodiš
2015-09-16Bugfix: console must not collapse spaces.Aleš Smodiš
2015-09-16Removed the "run" and "break" buttons. Removed commented-out code from prolog...Aleš Smodiš
2015-09-15A few terminal newline fixes for Prolog.Aleš Smodiš
2015-09-15Prolog handler now uses CodeQ terminal.Aleš Smodiš
2015-09-14Reimplemented communication with the server.Aleš Smodiš
2015-09-10Support hints with indexed messagesTimotej Lazar
2015-09-08Process templates in popover hintsTimotej Lazar
2015-09-04Remove limits on activity time deltasTimotej Lazar
2015-09-01Send the language as a request parameterTimotej Lazar
2015-08-28Handle test results as a static hintTimotej Lazar
2015-08-28Add support for template arguments in hintsTimotej Lazar
2015-08-28Add initial support for hintsTimotej Lazar
2015-08-27Allow 'n' for next answer in Prolog queryTimotej Lazar
2015-08-27Add testing functionalityTimotej Lazar
2015-08-26Fixed sending of activities (traces and solutions).Aleš Smodiš
2015-08-25Work on sending activity trace.Aleš Smodiš
2015-08-25Login now fetches the list of available problems from the server.Aleš Smodiš
2015-08-24Introduced the Q promises library, created a basic login page to test prolog ...Aleš Smodiš
2015-07-17Show the sins.py example in the mockup.Aleš Smodiš
2015-07-17Tied the 3 hint mockups to the 3 buttons.Aleš Smodiš
2015-07-16Fix backgound of popups.Aleš Smodiš
2015-07-16Implemented pop-up with bootstrap's popover.Aleš Smodiš
2015-07-15Added support for displaying hints. For now triggered by hand via a console, ...Aleš Smodiš