# HG changeset patch
# User wenzelm
# Date 1204831243 -3600
# Node ID edf6473ac9e98f8bea716f1b92fe7e21650ef544
# Parent  e557c20158e20d6af91dd70ca143ea84482c80ca
* system/system_out provides a robust way to invoke external shell
  commands, with propagation of interrupts (after Poly/ML 5.2);

diff -r e557c20158e2 -r edf6473ac9e9 NEWS
--- a/NEWS	Thu Mar 06 20:17:51 2008 +0100
+++ b/NEWS	Thu Mar 06 20:20:43 2008 +0100
@@ -150,6 +150,10 @@
 management only; user-code should use print_mode_value,
 print_mode_active, PrintMode.setmp etc.  INCOMPATIBILITY.
 
+* system/system_out provides a robust way to invoke external shell
+commands, with propagation of interrupts (after Poly/ML 5.2).  Do not
+use OS.Process.system etc. directly.
+
 
 *** System ***