Fri, 28 Nov 2008 12:26:14 +0100 |
ballarin |
Ahere to modern naming conventions; proper treatment of internal vs external names.
|
file |
diff |
annotate
|
Fri, 28 Nov 2008 11:14:13 +0100 |
ballarin |
Perform higher-order pattern matching during round-up.
|
file |
diff |
annotate
|
Thu, 27 Nov 2008 21:25:16 +0100 |
ballarin |
Roundup bound.
|
file |
diff |
annotate
|
Thu, 27 Nov 2008 10:28:27 +0100 |
ballarin |
Command to add dependencies, fixed processing of dependencies.
|
file |
diff |
annotate
|
Mon, 24 Nov 2008 18:02:52 +0100 |
ballarin |
Generalised activation code.
|
file |
diff |
annotate
|
Fri, 21 Nov 2008 18:01:39 +0100 |
ballarin |
add_locale functional.
|
file |
diff |
annotate
|
Thu, 20 Nov 2008 19:06:05 +0100 |
haftmann |
Locale.local_note_qualified
|
file |
diff |
annotate
|
Wed, 19 Nov 2008 17:03:13 +0100 |
ballarin |
Use 'if' in connection with 'is_some' and 'the'.
|
file |
diff |
annotate
|
Tue, 18 Nov 2008 09:40:44 +0100 |
ballarin |
add_thmss
|
file |
diff |
annotate
|
Mon, 17 Nov 2008 14:03:39 +0100 |
ballarin |
Generic activation of locales.
|
file |
diff |
annotate
|
Fri, 14 Nov 2008 16:49:52 +0100 |
ballarin |
Initial part of locale reimplementation.
|
file |
diff |
annotate
|