| Fri, 04 Jun 2010 19:36:41 +0200 | haftmann | avoid "$" | file | diff | annotate |
| Tue, 01 Jun 2010 13:52:11 +0200 | haftmann | capitalized type variables; added yield as keyword | file | diff | annotate |
| Tue, 01 Jun 2010 10:30:54 +0200 | haftmann | corrected printing of characters | file | diff | annotate |
| Thu, 29 Apr 2010 15:00:42 +0200 | haftmann | more coherent naming with ML serializer | file | diff | annotate |
| Fri, 19 Feb 2010 11:06:22 +0100 | haftmann | context theorem is optional | file | diff | annotate |
| Fri, 22 Jan 2010 13:38:28 +0100 | haftmann | code literals: distinguish numeral classes by different entries | file | diff | annotate |