doc-src/Locales/Locales/ROOT.ML
Sat, 17 Oct 2009 22:58:18 +0200 ballarin Finished revisions of locales tutorial.
Thu, 15 Oct 2009 22:07:18 +0200 ballarin Save current state of locales tutorial.
Mon, 19 Jan 2009 23:40:29 +0100 wenzelm more robust handling of quick_and_dirty;
Tue, 03 Jun 2008 12:34:22 +0200 ballarin New version covering interpretation.
Fri, 16 Apr 2004 11:35:44 +0200 ballarin Added Locales Tutorial.
less more (0) tip