Added blurb for release

git-svn-id: svn+ssh://svn.gecode.org/srv/gecode/svn/gecode/trunk@16766 64335634-5103-0410-b293-fc3d331e086d

Author: Christian Schulte

changelog.in

@@ -68,9 +68,18 @@
 
 [RELEASE]
 Version: 6.0.0
-Date: whenever
-[DESCRIPTION]
-Minor.
+Date: 2018-02-06
+[DESCRIPTION]
+This major release fixes many bugs, adds quite some new
+functionality, and changes how cloning works (most likely the
+biggest change we ever did to %Gecode): the Boolean share argument
+is not any longer needed (see how to change your programs in
+\ref PageHowToChange_6 "How to Change to Gecode 6.0.0").  The added
+functionality includes experimental support for the CPProfiler,
+classes for lexicographic optimization (where the cost is defined
+by an array of variables), a new much faster implementation of
+extensional constraints using tuple sets, and support for tracing
+search engines.
 
 [ENTRY]
 Module: search

doxygen/doxygen.hh.in

@@ -650,3 +650,21 @@ preferences such as speed, memory, basic, or advanced. Please
 consult MPG for details.
 
 */
+
+/**
+ * \page PageHowToChange_6 How to Change from %Gecode 5.1.0 to %Gecode 6.0.0
+ *
+
+As %Gecode 6.0.0 is a major revision, you will have to change
+programs that are written for %Gecode 5.1.0. The big change is
+that the Boolean argument "share" during cloning is not any
+longer needed. That means you have to remove the argument from
+both the definition of and the calls to the following functions,
+where this applies to pretty much all objects used by Gecode such
+as spaces, scripts (that means your models), propagators,
+branchers, variables, views, and so on:
+ - in constructors used during cloning, and
+ - in copy functions used during cloning, and
+ - in update functions used during cloning.
+
+*/