| Tue, 01 Jun 2010 13:52:11 +0200 | haftmann | brackify_infix etc.: no break before infix operator -- eases survival in Scala | file | diff | annotate |
| Mon, 17 May 2010 23:54:15 +0200 | wenzelm | prefer structure Keyword, Parse, Parse_Spec, Outer_Syntax; | file | diff | annotate |
| Fri, 30 Apr 2010 14:20:55 +0200 | haftmann | enclose case expression in brackets | 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 |
| Tue, 05 Jan 2010 11:25:01 +0100 | haftmann | more correct handling of empty functions | file | diff | annotate |
| Wed, 23 Dec 2009 11:32:08 +0100 | haftmann | take care for destructive print mode properly using dedicated pretty builders | file | diff | annotate |