| Thu, 17 Apr 2008 16:30:52 +0200 | wenzelm | replaced token translations by common markup; | changeset | files |
| Thu, 17 Apr 2008 16:30:51 +0200 | wenzelm | default token translations with proper markup; | changeset | files |
| Thu, 17 Apr 2008 16:30:50 +0200 | wenzelm | token translations: context dependent, result Pretty.T; | changeset | files |
| Thu, 17 Apr 2008 16:30:48 +0200 | wenzelm | removed obsolete raw_str; | changeset | files |
| Thu, 17 Apr 2008 16:30:48 +0200 | wenzelm | added markup for fixed variables (local constants); | changeset | files |
| Thu, 17 Apr 2008 16:30:47 +0200 | wenzelm | token translations: context dependent, result Pretty.T; | changeset | files |
| Thu, 17 Apr 2008 16:30:45 +0200 | wenzelm | Pretty.mark; | changeset | files |