# HG changeset patch
# User wenzelm
# Date 1139776468 -3600
# Node ID db16746a5604d93f471b6893e3ac5caf3f85f492
# Parent  24e251657e56dc23ab63c5d80725547b81d98103
* ML/Pure/General: improved join interface for tables;

diff -r 24e251657e56 -r db16746a5604 NEWS
--- a/NEWS	Sun Feb 12 21:34:27 2006 +0100
+++ b/NEWS	Sun Feb 12 21:34:28 2006 +0100
@@ -363,8 +363,8 @@
 * Pure/General/rat.ML implements rational numbers.
 
 * Pure/General/table.ML: the join operations now works via exceptions
-DUP/SAME instead of type option.  This is simpler in simple cases, and
-admits slightly more efficient complex applications.
+DUP/SAME instead of type option.  This is both simpler and admits
+slightly more efficient complex applications.
 
 * Pure: datatype Context.generic joins theory/Proof.context and
 provides some facilities for code that works in either kind of