Age | Commit message (Collapse) | Author | |
---|---|---|---|
2019-01-05 | Prolog: add English introduction | Timotej Lazar | |
2017-03-02 | Prolog: fix a typo | Timotej Lazar | |
2017-02-27 | Prolog: add texts for new automatic hints | Timotej Lazar | |
2016-10-04 | Prolog: reduce inference limit for rev_2 | Timotej Lazar | |
2016-05-08 | Prolog: add English translations for monkey hints | Timotej Lazar | |
2016-04-25 | Remove file encoding comments from python files | Timotej Lazar | |
UTF-8 is the default. | |||
2015-09-24 | Add name and description to language en/sl files | Timotej Lazar | |
2015-08-28 | Add the 'test_results' message for Prolog | Timotej Lazar | |
2015-08-28 | Move generic hints to prolog/en.py | Timotej Lazar | |