| Wed, 02 Jul 2008 19:35:43 +0200 | huffman | use begin and end for proofs in locales | file | diff | annotate |
| Wed, 02 Jul 2008 07:11:57 +0200 | haftmann | cleaned up some code generator configuration | file | diff | annotate |
| Fri, 07 Dec 2007 15:07:59 +0100 | haftmann | instantiation target rather than legacy instance | file | diff | annotate |
| Tue, 16 Oct 2007 23:12:45 +0200 | haftmann | global class syntax | file | diff | annotate |
| Mon, 08 Oct 2007 08:04:28 +0200 | haftmann | added first version of user-space type system for class target | file | diff | annotate |
| Sat, 29 Sep 2007 08:58:51 +0200 | haftmann | proper syntax during class specification | file | diff | annotate |
| Sat, 15 Sep 2007 19:27:43 +0200 | haftmann | introduced classes | file | diff | annotate |