| changeset 39513 | fce2202892c4 |
| parent 39308 | c2c9bb3c52c6 |
| child 39557 | fe5722fce758 |
--- a/NEWS Fri Sep 17 21:50:44 2010 +0200 +++ b/NEWS Fri Sep 17 22:17:57 2010 +0200 @@ -244,6 +244,9 @@ *** ML *** +* Discontinued Output.debug. Minor INCOMPATIBILITY, use plain writeln +instead (or tracing for high-volume output). + * Configuration option show_question_marks only affects regular pretty printing of types and terms, not raw Term.string_of_vname.