| 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 21:30:13 +0100 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
| Wed, 17 Sep 2008 15:21:30 +0200 |
ballarin |
Public interface to interpretation morphism.
|
file |
diff |
annotate
|
| Tue, 15 Jul 2008 07:10:50 +0200 |
haftmann |
curried gcd
|
file |
diff |
annotate
|
| Tue, 08 Jul 2008 23:14:35 +0200 |
wenzelm |
updated generated file;
|
file |
diff |
annotate
|
| Wed, 04 Jun 2008 16:44:08 +0200 |
wenzelm |
updated generated file;
|
file |
diff |
annotate
|
| Wed, 04 Jun 2008 16:32:24 +0200 |
wenzelm |
updated generated file;
|
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:33 +0200 |
wenzelm |
updated generated file;
|
file |
diff |
annotate
|
| Tue, 03 Jun 2008 12:34:22 +0200 |
ballarin |
New version covering interpretation.
|
file |
diff |
annotate
|