--- a/NEWS Sun Sep 05 19:47:40 2010 +0200
+++ b/NEWS Sun Sep 05 21:41:24 2010 +0200
@@ -31,6 +31,8 @@
ML (Config.T) Isar (attribute)
eta_contract eta_contract
+ show_sorts show_sorts
+ show_types show_types
show_question_marks show_question_marks
show_consts show_consts