| Sat, 22 May 2010 20:10:11 +0200 | wenzelm | refrain from using bold within the term language -- looks odd in Lobo with error/warning background; | changeset | files |
| Sat, 22 May 2010 20:02:26 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 22 May 2010 20:00:28 +0200 | wenzelm | removed timing; | changeset | files |
| Sat, 22 May 2010 19:42:20 +0200 | wenzelm | rendering information and style sheets via settings; | changeset | files |