| Mon, 09 Mar 2009 20:29:45 +0100 | wenzelm | replaced old locale option by proper "text (in locale)"; | file | diff | annotate |
| Mon, 19 Jan 2009 21:20:18 +0100 | ballarin | Merged, overriding earlier fix. | file | diff | annotate |
| Mon, 19 Jan 2009 20:37:08 +0100 | ballarin | Fixed tutorial to compile with new locales; grammar of new locale commands. | file | diff | annotate |
| Thu, 01 Jan 2009 20:56:23 +0100 | wenzelm | crude adaption to new locales; | file | diff | annotate |
| Fri, 27 Jun 2008 09:34:08 +0200 | haftmann | adjusted import | file | diff | annotate |
| Wed, 04 Jun 2008 16:44:31 +0200 | wenzelm | replaced (*<*)(*>*) by invisibility tags; | file | diff | annotate |
| Tue, 03 Jun 2008 12:34:22 +0200 | ballarin | New version covering interpretation. | file | diff | annotate |