| Sat, 10 Mar 2012 16:49:34 +0100 |
wenzelm |
more precise alignment of begin/end, proof/qed;
|
file |
diff |
annotate
|
| Fri, 08 Jul 2011 16:01:14 +0200 |
wenzelm |
eliminated hard tabs;
|
file |
diff |
annotate
|
| Sat, 25 Jun 2011 12:19:54 +0200 |
ballarin |
While reading equations of an interpretation, already allow syntax provided by the interpretation base.
|
file |
diff |
annotate
|
| Sun, 30 May 2010 21:29:37 +0200 |
ballarin |
Typo in locales tutorial.
|
file |
diff |
annotate
|
| Mon, 01 Mar 2010 21:41:35 +0100 |
wenzelm |
eliminated hard tabs;
|
file |
diff |
annotate
|
| Mon, 23 Nov 2009 21:03:49 +0100 |
ballarin |
Typos in documenation.
|
file |
diff |
annotate
|
| Sat, 17 Oct 2009 22:58:18 +0200 |
ballarin |
Finished revisions of locales tutorial.
|
file |
diff |
annotate
|
| Thu, 15 Oct 2009 22:22:08 +0200 |
ballarin |
Changed part of the examples to int.
|
file |
diff |
annotate
|
| Thu, 15 Oct 2009 22:07:18 +0200 |
ballarin |
Save current state of locales tutorial.
|
file |
diff |
annotate
|
| Tue, 29 Sep 2009 22:15:54 +0200 |
ballarin |
Propagation of mixins for interpretation; reactivated diagnostic command print_interps.
|
file |
diff |
annotate
|
| Wed, 08 Jul 2009 06:42:35 +0200 |
nipkow |
name fixed
|
file |
diff |
annotate
|
| Mon, 22 Jun 2009 14:25:22 +0200 |
haftmann |
adapted to number theory switch
|
file |
diff |
annotate
|
| Tue, 31 Mar 2009 21:25:08 +0200 |
ballarin |
Improvements to the text.
|
file |
diff |
annotate
|
| Sun, 29 Mar 2009 17:25:06 +0200 |
ballarin |
In interpretation: equations are not propagated through the hierarchy automatically.
|
file |
diff |
annotate
|
| Sat, 28 Mar 2009 22:14:21 +0100 |
ballarin |
Default mode of qualifiers in locale commands.
|
file |
diff |
annotate
|
| Sat, 28 Mar 2009 00:11:02 +0100 |
ballarin |
Corrections to locale syntax.
|
file |
diff |
annotate
|
| Fri, 27 Mar 2009 23:43:48 +0100 |
ballarin |
Update explanation of locale expressions to locale reimplementation.
|
file |
diff |
annotate
|
| Wed, 18 Mar 2009 22:14:58 +0100 |
ballarin |
Updated chapters 1-5 to locale reimplementation.
|
file |
diff |
annotate
|
| 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 23:40:29 +0100 |
wenzelm |
more robust handling of quick_and_dirty;
|
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
|
| Tue, 15 Jul 2008 07:10:50 +0200 |
haftmann |
curried gcd
|
file |
diff |
annotate
|
| Tue, 08 Jul 2008 22:02:15 +0200 |
huffman |
fix typo
|
file |
diff |
annotate
|
| Wed, 04 Jun 2008 16:44:31 +0200 |
wenzelm |
replaced (*<*)(*>*) by invisibility tags;
|
file |
diff |
annotate
|
| Wed, 04 Jun 2008 16:31:46 +0200 |
wenzelm |
moved labels into actual sections;
|
file |
diff |
annotate
|
| Wed, 04 Jun 2008 16:18:22 +0200 |
wenzelm |
renamed expression: plain ~ (space) instead of \colon;
|
file |
diff |
annotate
|
| Wed, 04 Jun 2008 12:29:26 +0200 |
wenzelm |
replaced strange \: by \colon to make it work again on macbroy20-29;
|
file |
diff |
annotate
|
| Tue, 03 Jun 2008 12:34:22 +0200 |
ballarin |
New version covering interpretation.
|
file |
diff |
annotate
|