index
:
codeq-web.git
master
release
CodeQ web client
git repository hosting
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
js
/
codeq
/
prolog.js
Age
Commit message (
Expand
)
Author
2016-02-28
Fix indentation in prolog.js
Timotej Lazar
2016-02-26
Use a consistent naming style for DOM IDs
Timotej Lazar
2016-02-26
Simplify description+hints blocks markup
Timotej Lazar
2016-02-25
Gray-out the editor while waiting for test results
Timotej Lazar
2016-02-25
Hide Plan button if no (more) plans are available
Timotej Lazar
2016-02-24
Remove substate machines from {prolog,python,robot}.js
Timotej Lazar
2016-02-24
Ensure a ~1 second delay before displaying test results
Timotej Lazar
2016-02-23
Remove explicit "Hint" button
Timotej Lazar
2016-02-22
Do not send langauge in test/hint commands
Timotej Lazar
2016-02-17
Remove old comments
Timotej Lazar
2016-02-15
Support resource templates in language/group/problem descriptions
Timotej Lazar
2016-02-15
Prolog terminal: do not submit an empty query
Timotej Lazar
2015-12-17
fixed the session expired bug
Robert Zorko
2015-12-17
added 'use strict', coirrected some errors which were revealed by it and fixe...
Robert Zorko
2015-12-16
merge with Ales fixes
Robert Zorko
2015-12-16
moved loading of problem data into the 'enter' of the python, robot and prolo...
Robert Zorko
2015-12-15
Remove a diagnostic log line from the prolog screen, which remained there by ...
Aleš Smodiš
2015-12-15
Fixed the bug about the loss of problem solving screen state when entering a ...
Aleš Smodiš
2015-12-10
Add copyright info to JS files
Timotej Lazar
2015-11-18
Disable editor while waiting for hint/test results
Timotej Lazar
2015-11-18
Escape from editor using the escape key
Timotej Lazar
2015-11-18
Do not output "hint"/"test" in Prolog terminal
Timotej Lazar
2015-10-21
Show a spinner on hint/test buttons when clicked
Timotej Lazar
2015-10-06
Rename state 'problem' to problem_list
Timotej Lazar
2015-10-05
Save current program in trace with each 'open' action
Timotej Lazar
2015-10-05
Record all user activity in trace
Timotej Lazar
2015-10-05
Remove some stale comments
Timotej Lazar
2015-10-05
Fix editor activity reporting
Timotej Lazar
2015-10-05
Move makeActivityHandler to core.js
Timotej Lazar
2015-10-04
Adapted to changes in codeq-server: load_problem and end_problem upon enterin...
Aleš Smodiš
2015-10-01
Submit activity when closing problem screen
Timotej Lazar
2015-10-01
Use four-space indents for Prolog
Timotej Lazar
2015-10-01
Use 'value' option in CM constructor to set initial content
Timotej Lazar
2015-10-01
Bugfix: remove action has type 'rm', not 'r'
Timotej Lazar
2015-10-01
Bugfix: use hinter.hasNextPlan in prolog.js
Timotej Lazar
2015-09-29
Correctly process hint_type and hint.
Aleš Smodiš
2015-09-29
Add a statusbar to the editor widget
Timotej Lazar
2015-09-29
Temporary "plan" button fix: look at the presence of Slovene translation to d...
Aleš Smodiš
2015-09-29
login removed from navbar
Marko Pušnik
2015-09-28
CRLF -> LF conversion for python.js and prolog.js.
Aleš Smodiš
2015-09-28
Implement in-structure GUI translation for python and problem editing screens.
Aleš Smodiš
2015-09-28
Add 'r' (redo) for next answer in Prolog
Timotej Lazar
2015-09-28
Update comment for previous commit
Timotej Lazar
2015-09-27
Bugfix: '\n' should be 'n' for next Prolog answer
Timotej Lazar
2015-09-25
refactor menu + some forms to use bootstrap properly
Marko Pušnik
2015-09-23
Improve error handling for button actions
Timotej Lazar
2015-09-22
enabled buttons in the navigation header (at least buttons on the left side o...
Robert Zorko
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š
[next]