diff -r 348fa0e1dcf6 -r 993db479088d docs/HISTORY.txt --- a/docs/HISTORY.txt Tue Jan 08 17:47:09 2019 +0100 +++ b/docs/HISTORY.txt Wed Jan 09 12:20:26 2019 +0100 @@ -1,6 +1,10 @@ History ======= +0.1.15 +------ + - added thesaurus term permission checker + 0.1.14 ------ - updated CSS styles