doc-src/Locales/Locales/Examples.thy
Sat, 17 Oct 2009 14:43:18 +0200 wenzelm eliminated hard tabulators, guessing at each author's individual tab-width;
Tue, 31 Mar 2009 21:25:08 +0200 ballarin Improvements to the text.
Sat, 28 Mar 2009 22:14:21 +0100 ballarin Default mode of qualifiers in locale commands.
Wed, 18 Mar 2009 22:14:58 +0100 ballarin Updated chapters 1-5 to locale reimplementation.
Mon, 09 Mar 2009 20:29:45 +0100 wenzelm replaced old locale option by proper "text (in locale)";
Mon, 19 Jan 2009 21:20:18 +0100 ballarin Merged, overriding earlier fix.
Mon, 19 Jan 2009 20:37:08 +0100 ballarin Fixed tutorial to compile with new locales; grammar of new locale commands.
Thu, 01 Jan 2009 20:56:23 +0100 wenzelm crude adaption to new locales;
Fri, 27 Jun 2008 09:34:08 +0200 haftmann adjusted import
Wed, 04 Jun 2008 16:44:31 +0200 wenzelm replaced (*<*)(*>*) by invisibility tags;
Tue, 03 Jun 2008 12:34:22 +0200 ballarin New version covering interpretation.
less more (0) tip