insilmaril [Wed, 07 Apr 2010 10:45:24 +0000] rev 844
Removing map and HTML export fixed
insilmaril [Tue, 06 Apr 2010 13:30:07 +0000] rev 843
(Very) minor changes for debugging output
insilmaril [Tue, 30 Mar 2010 17:30:39 +0000] rev 842
Much improved results in FindResultsWidget