Wed, 21 Jun 2006 10:26:39 +0200 | haftmann | hyps better than prems | file | diff | annotate |
Tue, 20 Jun 2006 10:10:06 +0200 | haftmann | switched to open locales for classes | file | diff | annotate |
Wed, 14 Jun 2006 12:13:12 +0200 | haftmann | slight adaptions | file | diff | annotate |
Sat, 08 Apr 2006 22:51:06 +0200 | wenzelm | refined 'abbreviation'; | file | diff | annotate |
Thu, 06 Apr 2006 16:10:22 +0200 | haftmann | small type annotation fix | file | diff | annotate |
Fri, 17 Mar 2006 14:20:24 +0100 | haftmann | added example for operational classes and code generator | file | diff | annotate |