| Thu, 26 Jul 2012 19:03:34 +0200 | veltr | Display improvements on category tree | file | diff | annotate |
| Thu, 12 Jul 2012 10:45:01 +0200 | veltr | Wikipedia tree algorithm changes | file | diff | annotate |
| Wed, 04 Jul 2012 10:31:59 +0200 | veltr | improved category filtering | file | diff | annotate |