changeset 39154 | 14b16b380ca1 |
parent 39150 | c4ff5fd8db99 |
parent 39137 | ccb53edd59f0 |
child 39164 | e7e12555e763 |
--- a/NEWS Mon Sep 06 11:53:42 2010 +0200 +++ b/NEWS Mon Sep 06 12:38:45 2010 +0200 @@ -31,6 +31,9 @@ ML (Config.T) Isar (attribute) eta_contract eta_contract + show_brackets show_brackets + show_sorts show_sorts + show_types show_types show_question_marks show_question_marks show_consts show_consts