* system/system_out provides a robust way to invoke external shell
commands, with propagation of interrupts (after Poly/ML 5.2);

--- 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 ***