--- a/NEWS Sun Sep 05 22:23:48 2010 +0200
+++ b/NEWS Sun Sep 05 23:16:21 2010 +0200
@@ -31,6 +31,7 @@
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