| 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
|
| 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, 31 Mar 2009 21:25:08 +0200 |
ballarin |
Improvements to the text.
|
file |
diff |
annotate
|
| Sat, 28 Mar 2009 22:14:21 +0100 |
ballarin |
Default mode of qualifiers in locale commands.
|
file |
diff |
annotate
|
| Wed, 18 Mar 2009 22:14:58 +0100 |
ballarin |
Updated chapters 1-5 to locale reimplementation.
|
file |
diff |
annotate
|
| Thu, 01 Jan 2009 20:56:23 +0100 |
wenzelm |
crude adaption to new locales;
|
file |
diff |
annotate
|
| Wed, 04 Jun 2008 16:44:31 +0200 |
wenzelm |
replaced (*<*)(*>*) by invisibility tags;
|
file |
diff |
annotate
|
| Tue, 03 Jun 2008 12:34:22 +0200 |
ballarin |
New version covering interpretation.
|
file |
diff |
annotate
|