| Sun, 30 May 2010 21:29:37 +0200 |
ballarin |
Typo in locales tutorial.
|
file |
diff |
annotate
|
| Sun, 23 May 2010 17:23:18 +0100 |
webertj |
Typo fixed.
|
file |
diff |
annotate
|
| Thu, 06 May 2010 08:43:51 +0200 |
haftmann |
constant name access lattice is not in use any longer
|
file |
diff |
annotate
|
| Fri, 16 Apr 2010 21:28:09 +0200 |
wenzelm |
replaced generic 'hide' command by more conventional 'hide_class', 'hide_type', 'hide_const', 'hide_fact' -- frees some popular keywords;
|
file |
diff |
annotate
|
| Sat, 21 Nov 2009 18:25:53 +0100 |
ballarin |
Publication details and minor correction of the text.
|
file |
diff |
annotate
|
| Sat, 17 Oct 2009 23:07:53 +0200 |
ballarin |
Merged.
|
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:07:18 +0200 |
ballarin |
Save current state of locales tutorial.
|
file |
diff |
annotate
|
| Sat, 17 Oct 2009 14:43:18 +0200 |
wenzelm |
eliminated hard tabulators, guessing at each author's individual tab-width;
|
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
|
| 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 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
|
| Fri, 27 Jun 2008 09:34:08 +0200 |
haftmann |
adjusted import
|
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
|