| Sun, 30 May 2010 21:29:37 +0200 | ballarin | Typo in locales tutorial. | changeset | files |
| Mon, 31 May 2010 10:27:42 +0200 | wenzelm | Theory_Target.pretty: more markup; | changeset | files |
| Mon, 31 May 2010 10:24:21 +0200 | wenzelm | tuned abbrevs for long arrows, according to usual ASCII syntax; | changeset | files |
| Mon, 31 May 2010 09:47:41 +0200 | wenzelm | more flexibile font size via CSS <style> instead of old <font> element; | changeset | files |
| Mon, 31 May 2010 09:46:43 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 30 May 2010 23:42:03 +0200 | wenzelm | control tooltip font via Swing HTML, with tooltip-font-size property; | changeset | files |