| Wed, 17 Jul 2013 21:04:38 +0200 | wenzelm | tuned spelling; | file | diff | annotate |
| Thu, 27 Jun 2013 11:07:48 +0200 | wenzelm | clarified printing of type constraints vs. annotations, notably in goal display with its Type_Annotation.ignore_free_types; | file | diff | annotate |
| Wed, 29 May 2013 11:06:38 +0200 | wenzelm | observe type annotations in print translations as well, notably type_constraint_tr'; | file | diff | annotate |
| Tue, 28 May 2013 23:06:32 +0200 | wenzelm | explicit support for type annotations within printed syntax trees; | file | diff | annotate |