| Mon, 26 Jan 2009 22:14:19 +0100 | haftmann | fixed reading of class specs: declare class operations in context | file | diff | annotate |
| Wed, 21 Jan 2009 23:40:23 +0100 | haftmann | allow empty class specs | file | diff | annotate |
| 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 |