--- 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
changeset 39154	14b16b380ca1
parent 39150	c4ff5fd8db99
parent 39137	ccb53edd59f0
child 39164	e7e12555e763