| Sat, 25 Jun 2011 18:24:52 +0200 | wenzelm | discontinued generic XML markup -- this is for XHTML with <span/> elements; | changeset | files |
| Sat, 25 Jun 2011 18:15:36 +0200 | wenzelm | type classes: entity markup instead of old-style token markup; | changeset | files |