| Thu, 27 Sep 2012 15:38:28 +0200 | wenzelm | eliminated obsolete HTML/CSS functionality; | file | diff | annotate |
| Wed, 12 Sep 2012 16:27:44 +0200 | wenzelm | some support for actual HTML rendering; | file | diff | annotate |
| Sun, 02 Sep 2012 21:01:11 +0200 | wenzelm | basic setup for HTML5 panel; | file | diff | annotate |