| Wed, 09 Jun 2010 13:14:08 +0000 | 1.13.4 Various fixes | file | diff | annotate |
| Tue, 30 Mar 2010 17:30:39 +0000 | Much improved results in FindResultsWidget | file | diff | annotate |
| Mon, 08 Mar 2010 12:24:26 +0000 | Introduce dockwidget to display all search results at once | file | diff | annotate |
| Tue, 02 Mar 2010 13:59:19 +0000 | Added file for later dockwidget showing all search results at once | file | diff | annotate |