log

age author description
Tue, 16 Jul 2013 13:39:22 +0200 robcast still making servlet3 the default.
Tue, 16 Jul 2013 13:12:48 +0200 robcast add javadoc plugin config. change default profile to servlet3.
Mon, 01 Jul 2013 19:08:20 +0200 robcast fix whitespace before xml-declaration.
Thu, 27 Jun 2013 20:37:42 +0200 robcast digilib-ann.html use local annotation server.
Thu, 27 Jun 2013 20:36:42 +0200 robcast fix bugs in JSPs
Wed, 12 Jun 2013 17:25:11 +0200 hertzhaft use region innerHtml text content for searching