| Mon, 29 Dec 2008 22:43:41 +0100 | wenzelm | added POSITION_PROPERTIES; | file | diff | annotate |
| Mon, 29 Dec 2008 16:44:49 +0100 | wenzelm | more markup elements; | file | diff | annotate |
| Sun, 28 Dec 2008 20:25:39 +0100 | wenzelm | more markup elements; | file | diff | annotate |
| Sun, 28 Dec 2008 16:39:27 +0100 | wenzelm | more markup elements; | file | diff | annotate |
| Fri, 19 Dec 2008 20:37:29 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Sat, 23 Aug 2008 23:07:39 +0200 | wenzelm | added position, messages; | file | diff | annotate |
| Sat, 23 Aug 2008 19:42:12 +0200 | wenzelm | Common markup elements. | file | diff | annotate |