doc-src/Locales/Locales/document/Examples3.tex
Mon, 01 Mar 2010 21:41:35 +0100 wenzelm eliminated hard tabs;
Mon, 23 Nov 2009 21:04:00 +0100 ballarin Generated files.
Sat, 17 Oct 2009 22:58:18 +0200 ballarin Finished revisions of locales tutorial.
Thu, 15 Oct 2009 22:22:08 +0200 ballarin Changed part of the examples to int.
Thu, 15 Oct 2009 22:07:18 +0200 ballarin Save current state of locales tutorial.
Thu, 01 Oct 2009 20:20:45 +0200 wenzelm updated generated files;
Wed, 08 Jul 2009 06:42:35 +0200 nipkow name fixed
Mon, 22 Jun 2009 14:25:22 +0200 haftmann adapted to number theory switch
Tue, 31 Mar 2009 21:25:08 +0200 ballarin Improvements to the text.
Sun, 29 Mar 2009 17:25:06 +0200 ballarin In interpretation: equations are not propagated through the hierarchy automatically.
Sat, 28 Mar 2009 22:14:21 +0100 ballarin Default mode of qualifiers in locale commands.
Sat, 28 Mar 2009 00:11:02 +0100 ballarin Corrections to locale syntax.
Fri, 27 Mar 2009 23:43:48 +0100 ballarin Update explanation of locale expressions to locale reimplementation.
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 23:40:29 +0100 wenzelm more robust handling of quick_and_dirty;
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 21:30:13 +0100 wenzelm updated generated files;
Wed, 17 Sep 2008 15:21:30 +0200 ballarin Public interface to interpretation morphism.
Tue, 15 Jul 2008 07:10:50 +0200 haftmann curried gcd
Tue, 08 Jul 2008 23:14:35 +0200 wenzelm updated generated file;
Wed, 04 Jun 2008 16:44:08 +0200 wenzelm updated generated file;
Wed, 04 Jun 2008 16:32:24 +0200 wenzelm updated generated file;
Wed, 04 Jun 2008 16:18:22 +0200 wenzelm renamed expression: plain ~ (space) instead of \colon;
Wed, 04 Jun 2008 12:29:33 +0200 wenzelm updated generated file;
Tue, 03 Jun 2008 12:34:22 +0200 ballarin New version covering interpretation.
less more (0) tip