Age | Commit message (Expand) | Author |
2016-02-15 | Prolog: add a graph of family relations | Timotej Lazar |
2016-02-12 | Prolog: catch exceptions in test functions | Timotej Lazar |
2016-01-13 | Use argument mode indicators in Prolog problem descriptions | Timotej Lazar |
2016-01-13 | Remove space-padding from <pre> blocks | Timotej Lazar |
2016-01-12 | Return number of passed/total tests from Prolog test functions | Timotej Lazar |
2016-01-05 | Simplify Prolog hint functions | Timotej Lazar |
2015-12-23 | Simplify Prolog test function | Timotej Lazar |
2015-11-27 | Leave query modification in tests to Prolog engine | Timotej Lazar |
2015-11-18 | Do not handle engine errors in hint functions | Timotej Lazar |
2015-11-17 | Fix test functions for Prolog problems | Timotej Lazar |
2015-11-17 | Do not import obsolete HintSequence anywhere | Timotej Lazar |
2015-10-17 | Names of Prolog sections added. | Aleksander Sadikov |
2015-10-17 | Names of Prolog sections added. | Aleksander Sadikov |
2015-10-17 | Family relations section fully hint-ready (just a few minor things missing). | Aleksander Sadikov |
2015-10-12 | Remove group attribute from problem common.py files | Timotej Lazar |
2015-10-08 | Remove unneeded id field from {en,sl}.py files | Timotej Lazar |
2015-10-02 | Figures, hints and test cases added/updated for father, grandparent, brother,... | Aleksander Sadikov |
2015-10-01 | Figures and hints updated for mother/2, father/2, and grandparent/2 problems. | Aleksander Sadikov |
2015-09-22 | New problems with hints for famrel section added. | Aleksander Sadikov |
2015-09-22 | Oops, overzealous copy/paste | Timotej Lazar |
2015-09-22 | Update test functions for existing problems | Timotej Lazar |
2015-09-18 | Add plan for brother/father/mother/sister | Timotej Lazar |
2015-09-17 | Use check_answers instead of ask_all for testing | Timotej Lazar |
2015-09-11 | Accept a list of solved problems for hint/test | Timotej Lazar |
2015-09-11 | s/hint_defs/hint_type/g | Timotej Lazar |
2015-09-10 | Use Hint classes for hints from the last commit | Timotej Lazar |
2015-09-10 | Hints for mother, father, brother, and sister added. | Aleksander Sadikov |