summaryrefslogtreecommitdiff
path: root/prolog/en.py
AgeCommit message (Expand)Author
2019-01-05Prolog: minor tweak in CodeQ intro linkHEADreleasemasterTimotej Lazar
2019-01-05Prolog: add English introductionTimotej Lazar
2017-03-02Prolog: fix a typoTimotej Lazar
2017-02-27Prolog: add texts for new automatic hintsTimotej Lazar
2016-10-04Prolog: reduce inference limit for rev_2Timotej Lazar
2016-05-08Prolog: add English translations for monkey hintsTimotej Lazar
2016-04-25Remove file encoding comments from python filesTimotej Lazar
2015-09-24Add name and description to language en/sl filesTimotej Lazar
2015-08-28Add the 'test_results' message for PrologTimotej Lazar
2015-08-28Move generic hints to prolog/en.pyTimotej Lazar