| Wed, 30 Jan 2013 11:15:09 +0000 | Jan Vrany | Merged 235b77901045 and 8332590c5a41 (branch default) | file | diff | annotate |
| Wed, 21 Mar 2012 17:50:14 +0000 | Jan Vrany | Merged with /trunk | file | diff | annotate |
| Mon, 30 Jan 2012 17:49:41 +0000 | Jan Vrany | Improvements in LintHighlighter, few fixes | file | diff | annotate |
| Sun, 29 Jan 2012 12:53:39 +0000 | Jan Vrany | trunk branched into /branches/jv | file | diff | annotate |
| Thu, 01 Mar 2012 10:55:40 +0100 | Claus Gittinger | fix: visibility switch and rationale did not work | file | diff | annotate |
| Sun, 03 Jul 2011 20:10:21 +0200 | Claus Gittinger | changed: #copyright | file | diff | annotate |
| Fri, 01 Jul 2011 15:31:46 +0200 | Claus Gittinger | initial checkin | file | diff | annotate |