summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2016-03-01problem_list: fix updating solved/attempted indicatorsTimotej Lazar
Indicators were only removed for attempted problems, leading to incorrect display if logging out and back in as a user with fewer attempts.
2016-03-01Clear hints immediately when pressing Plan or TestTimotej Lazar
2016-02-28Experiment: add "teacher helped" link to Prolog screenTimotej Lazar
Records a {'typ': 'experiment', 'data': 'teacher help'} action when clicked. This will allow us to consider such traces specially when evaluating different hint types. This is specific to the prolog_hints experiment and should be reverted or generalized in the future.
2016-02-28Problem list: allow multi-paragraph group descriptionsTimotej Lazar
2016-02-28Do not force a specific font in CSSTimotej Lazar
2016-02-28Fix indentation in prolog.jsTimotej Lazar
2016-02-26Replace several alerts with friendlier messagesTimotej Lazar
2016-02-26Use a consistent naming style for DOM IDsTimotej Lazar
2016-02-26Remove some comments from index.htmlTimotej Lazar
2016-02-26Crop the AAI login buttonTimotej Lazar
2016-02-26Reorder the login formTimotej Lazar
2016-02-26Increase margin above language-selection divsTimotej Lazar
2016-02-26Remove unused id attributes in index.htmlTimotej Lazar
2016-02-26Improve formsTimotej Lazar
2016-02-26Simplify description+hints blocks markupTimotej Lazar
2016-02-25Console: do not show cursor when disabledTimotej Lazar
2016-02-25Gray-out the editor while waiting for test resultsTimotej Lazar
2016-02-25Hide Plan button if no (more) plans are availableTimotej Lazar
2016-02-25Add a screen to view own solutionsTimotej Lazar
2016-02-25Fix about page back buttonTimotej Lazar
2016-02-24Remove substate machines from {prolog,python,robot}.jsTimotej Lazar
Unused code is unused.
2016-02-24Ensure a ~1 second delay before displaying test resultsTimotej Lazar
2016-02-23Remove explicit "Hint" buttonTimotej Lazar
Hints are now generated for each tested program, and the user can press a button to reveal the hints.
2016-02-23js/hint: s/serverHint/hintTimotej Lazar
2016-02-23Remove redundant parameter from static hint handlerTimotej Lazar
2016-02-23Remove unused type parameter from hint handlersTimotej Lazar
2016-02-22Do not send langauge in test/hint commandsTimotej Lazar
2016-02-22Improve solved/attempted indicatorTimotej Lazar
2016-02-22Fix buttons in profile screenTimotej Lazar
2016-02-18Decrease size of problem description titleTimotej Lazar
2016-02-18Translate and improve "login failed" messageTimotej Lazar
2016-02-18Remove commented-out CSS settingsTimotej Lazar
2016-02-18Minor cleanups in index.htmlTimotej Lazar
2016-02-18Fix handling of settings navigation iconTimotej Lazar
2016-02-17Remove old commentsTimotej Lazar
2016-02-17Fix minimum editor heightTimotej Lazar
2016-02-17Keep page title on state transitionsTimotej Lazar
2016-02-15Add license information to CSS filesTimotej Lazar
2016-02-15Reduce font size for code and pre elementsTimotej Lazar
2016-02-15Support resource templates in language/group/problem descriptionsTimotej Lazar
2016-02-15Move template handling code into a separate fileTimotej Lazar
2016-02-15Prolog terminal: do not submit an empty queryTimotej Lazar
2016-02-15Do not reuse hint class names in a problem sessionTimotej Lazar
Reusing class names (e.g. “_emark_0”) caused an incorrect message (from the previous hint) to be displayed for subsequent hints with the same class.
2016-02-13Use relative font sizes and fix stylingTimotej Lazar
Bootstrap: because 10px ought to be good for everyone!™
2016-02-05Tweak style for <code> and <pre> elementsTimotej Lazar
2016-02-05Use relative font sizes everywhereTimotej Lazar
2015-12-24Slovenian about page: avtomatsko → samodejnoTimotej Lazar
2015-12-23Update about textTimotej Lazar
2015-12-17fixed the session expired bugRobert Zorko
2015-12-17added 'use strict', coirrected some errors which were revealed by it and ↵Robert Zorko
fixed the argument of the call of the wait function used in the reset function (core.js)
generated by cgit v1.2.1 (git 2.18.0) at 2025-01-01 00:03:41 +0000