2010-06-09 insilmaril 1.13.4 Various fixes
2010-04-09 insilmaril Version 1.13.3 and added treeeditor.png
2010-04-09 insilmaril XHTML export obsoleted by HTML export
2010-04-07 insilmaril Removing map and HTML export fixed
2010-04-06 insilmaril (Very) minor changes for debugging output
2010-03-30 insilmaril Much improved results in FindResultsWidget