| Tue, 21 May 2013 23:15:44 +0200 | koda | tip to highlight the new /rnd command | file | diff | annotate |
| Fri, 18 Jan 2013 11:47:23 +0100 | koda | improve tips (issue 472) | file | diff | annotate |
| Mon, 07 Jan 2013 08:35:29 -0500 | nemo | correct rope tip | file | diff | annotate |
| Wed, 02 Jan 2013 18:32:19 +0100 | martin_bede | Tips are now loaded from an xml file. | file | diff | annotate |