Wed, 21 Jan 2009 16:47:03 +0100 |
haftmann |
code cleanup
|
file |
diff |
annotate
|
Mon, 19 Jan 2009 08:16:42 +0100 |
haftmann |
improved tackling of subclasses
|
file |
diff |
annotate
|
Sat, 17 Jan 2009 22:07:29 +0100 |
haftmann |
tuned signature
|
file |
diff |
annotate
|
Sat, 17 Jan 2009 08:29:54 +0100 |
haftmann |
code cleanup
|
file |
diff |
annotate
|
Fri, 16 Jan 2009 14:58:11 +0100 |
haftmann |
migrated class package to new locale implementation
|
file |
diff |
annotate
|
Sun, 11 Jan 2009 14:18:16 +0100 |
haftmann |
construct explicit class morphism
|
file |
diff |
annotate
|
Tue, 06 Jan 2009 08:50:02 +0100 |
haftmann |
locale -> old_locale, new_locale -> locale
|
file |
diff |
annotate
|
Mon, 05 Jan 2009 15:55:04 +0100 |
haftmann |
locale -> old_locale, new_locale -> locale
|
file |
diff |
annotate
|
Mon, 05 Jan 2009 15:36:24 +0100 |
haftmann |
rearranged target theories
|
file |
diff |
annotate
| base
|