# HG changeset patch
# User urbanc
# Date 1192927756 -7200
# Node ID afb5e602ce9d9036ccb0124b4e50b8a4050df444
# Parent  705f54aeba7ceced3425e94b58ad909c697ddf63
tuned the entry about nominal datatypes

diff -r 705f54aeba7c -r afb5e602ce9d NEWS
--- a/NEWS	Sat Oct 20 20:33:58 2007 +0200
+++ b/NEWS	Sun Oct 21 02:49:16 2007 +0200
@@ -1209,10 +1209,14 @@
 
 *** HOL-Nominal ***
 
-* Fully featured support for nominal datatypes (binding structures)
-due to the HOL-Nominal logic.  See HOL/Nominal, HOL/Nominal/Examples,
-and http://isabelle.in.tum.de/nominal/download.html
-
+* Not yet complete support for nominal datatypes (binding structures)
+based on HOL-Nominal logic. See HOL/Nominal and HOL/Nominal/Examples.
+If you plan to use nominal datatypes you are strongly advised to
+visit 
+
+ http://isabelle.in.tum.de/nominal/
+
+and look there for up-to-date information.
 
 *** ML ***