codeq-web.git - CodeQ web client

summary refs log tree commit diff

path: root/js/codeq/prolog.js

Age	Commit message (Expand)	Author
2015-09-21	Refactoring: simplified python.js and prolog.js, removed all DOM IDs except f...	Aleš Smodiš
2015-09-18	Enable auto-history in prolog console.	Aleš Smodiš
2015-09-18	Don't crash loading a prolog problem, if the problem has no plan set.	Aleš Smodiš
2015-09-18	Add "Plan" button to display next "planning" hint	Timotej Lazar
2015-09-18	Merge branch 'master' of ssh://212.235.189.51:22122/codeq-web	Robert Zorko
2015-09-18	divided the login and problem chooser into two different screens	Robert Zorko
2015-09-18	Reapply bugfix: join the array of removed character into a string, when the u...	Aleš Smodiš
2015-09-18	changes for th latest changes	Robert Zorko
2015-09-18	updated the python state with the last changes done to the prolog state	Robert Zorko
2015-09-18	added another possible transition in the main app screen - the hint and test ...	Robert Zorko
2015-09-18	added some comments and improved the selection of the divs which are beeing c...	Robert Zorko
2015-09-18	updated for the recent changes in hte prolog and python.js files	Robert Zorko
2015-09-18	added prolog state (I missed it in the previous commit)	Robert Zorko