updated release notes with links to github release tags

doc/html/BOOST_CONTRACT_ALL_DISABLE_NO_ASSERTION.html

@@ -4,7 +4,7 @@
 <title>Macro BOOST_CONTRACT_ALL_DISABLE_NO_ASSERTION</title>
 <link rel="stylesheet" href="../../doc/src/boostbook.css" type="text/css">
 <meta name="generator" content="DocBook XSL Stylesheets V1.79.1">
-<link rel="home" href="index.html" title="Chapter&#160;1.&#160;Boost.Contract 1.0">
+<link rel="home" href="index.html" title="Chapter&#160;1.&#160;Boost.Contract 0.5.0">
 <link rel="up" href="reference.html#header.boost.contract.core.config_hpp" title="Header &lt;boost/contract/core/config.hpp&gt;">
 <link rel="prev" href="BOOST_CONTRACT_PRECONDITIONS_DISABLE_NO_ASSERTION.html" title="Macro BOOST_CONTRACT_PRECONDITIONS_DISABLE_NO_ASSERTION">
 <link rel="next" href="BOOST_CONTRACT_AUDITS.html" title="Macro BOOST_CONTRACT_AUDITS">
@@ -33,7 +33,7 @@ <h2 xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="re
 
 </span>BOOST_CONTRACT_ALL_DISABLE_NO_ASSERTION</pre></div>
 <div class="refsect1">
-<a name="id1154752"></a><h2>Description</h2>
+<a name="id1127126"></a><h2>Description</h2>
 <p>Not disabling assertions while checking other assertions can lead to infinite recursion in user code so by default this macro is not defined. (Defining this macro automatically implies that other assertion checking is disabled while checking preconditions as if  <code class="computeroutput"><a class="link" href="BOOST_CONTRACT_PRECONDITIONS_DISABLE_NO_ASSERTION.html" title="Macro BOOST_CONTRACT_PRECONDITIONS_DISABLE_NO_ASSERTION">BOOST_CONTRACT_PRECONDITIONS_DISABLE_NO_ASSERTION</a></code> was also defined.)</p>
 <p><span class="bold"><strong>See Also:</strong></span></p>
 <p> <a class="link" href="boost_contract/contract_programming_overview.html#boost_contract.contract_programming_overview.feature_summary" title="Feature Summary">

doc/html/BOOST_CONTRACT_ASSERT.html

@@ -4,7 +4,7 @@
 <title>Macro BOOST_CONTRACT_ASSERT</title>
 <link rel="stylesheet" href="../../doc/src/boostbook.css" type="text/css">
 <meta name="generator" content="DocBook XSL Stylesheets V1.79.1">
-<link rel="home" href="index.html" title="Chapter&#160;1.&#160;Boost.Contract 1.0">
+<link rel="home" href="index.html" title="Chapter&#160;1.&#160;Boost.Contract 0.5.0">
 <link rel="up" href="reference.html#header.boost.contract.assert_hpp" title="Header &lt;boost/contract/assert.hpp&gt;">
 <link rel="prev" href="reference.html" title="Reference">
 <link rel="next" href="BOOST_CONTRACT_ASSERT_AUDIT.html" title="Macro BOOST_CONTRACT_ASSERT_AUDIT">
@@ -33,7 +33,7 @@ <h2 xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="re
 
 </span>BOOST_CONTRACT_ASSERT(cond)</pre></div>
 <div class="refsect1">
-<a name="id1136956"></a><h2>Description</h2>
+<a name="id1113488"></a><h2>Description</h2>
 <p>Any exception thrown from within a contract (preconditions, postconditions, exception guarantees, old value copies at body, class invariants, etc.) is interpreted by this library as a contract failure. Therefore, users can program contract assertions manually throwing an exception when an asserted condition is checked to be <code class="computeroutput">false</code> (this library will then call the appropriate contract failure handler  <code class="computeroutput"><a class="link" href="boost/contract/precondition_failure.html" title="Function precondition_failure">boost::contract::precondition_failure</a></code>, etc.). However, it is preferred to use this macro because it expands to code that throws <code class="computeroutput"><a class="link" href="boost/contract/assertion_failure.html" title="Class assertion_failure">boost::contract::assertion_failure</a></code> with the correct assertion file name (using <code class="computeroutput">__FILE__</code>), line number (using <code class="computeroutput">__LINE__</code>), and asserted condition code so to produce informative error messages.</p>
 <p> <code class="computeroutput"><a class="link" href="BOOST_CONTRACT_ASSERT.html" title="Macro BOOST_CONTRACT_ASSERT">BOOST_CONTRACT_ASSERT</a></code>, <code class="computeroutput"><a class="link" href="BOOST_CONTRACT_ASSERT_AUDIT.html" title="Macro BOOST_CONTRACT_ASSERT_AUDIT">BOOST_CONTRACT_ASSERT_AUDIT</a></code> and  <code class="computeroutput"><a class="link" href="BOOST_CONTRACT_ASSERT_AXIOM.html" title="Macro BOOST_CONTRACT_ASSERT_AXIOM">BOOST_CONTRACT_ASSERT_AXIOM</a></code> are the three assertion levels predefined by this library.</p>
 <p><span class="bold"><strong>See Also:</strong></span></p>

doc/html/BOOST_CONTRACT_ASSERT_AUDIT.html

@@ -4,7 +4,7 @@
 <title>Macro BOOST_CONTRACT_ASSERT_AUDIT</title>
 <link rel="stylesheet" href="../../doc/src/boostbook.css" type="text/css">
 <meta name="generator" content="DocBook XSL Stylesheets V1.79.1">
-<link rel="home" href="index.html" title="Chapter&#160;1.&#160;Boost.Contract 1.0">
+<link rel="home" href="index.html" title="Chapter&#160;1.&#160;Boost.Contract 0.5.0">
 <link rel="up" href="reference.html#header.boost.contract.assert_hpp" title="Header &lt;boost/contract/assert.hpp&gt;">
 <link rel="prev" href="BOOST_CONTRACT_ASSERT.html" title="Macro BOOST_CONTRACT_ASSERT">
 <link rel="next" href="BOOST_CONTRACT_ASSERT_AXIOM.html" title="Macro BOOST_CONTRACT_ASSERT_AXIOM">
@@ -33,7 +33,7 @@ <h2 xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="re
 
 </span>BOOST_CONTRACT_ASSERT_AUDIT(cond)</pre></div>
 <div class="refsect1">
-<a name="id1140064"></a><h2>Description</h2>
+<a name="id1113626"></a><h2>Description</h2>
 <p>The asserted condition will always be compiled and validated syntactically, but it will not be evaluated at run-time unless  <code class="computeroutput"><a class="link" href="BOOST_CONTRACT_AUDITS.html" title="Macro BOOST_CONTRACT_AUDITS">BOOST_CONTRACT_AUDITS</a></code> is defined (undefined by default).</p>
 <p>This macro is defined by code equivalent to:</p>
 <pre class="programlisting"><span class="preprocessor">#ifdef</span> <span class="identifier">BOOST_CONTRACT_AUDITS</span>

doc/html/BOOST_CONTRACT_ASSERT_AXIOM.html

@@ -4,7 +4,7 @@
 <title>Macro BOOST_CONTRACT_ASSERT_AXIOM</title>
 <link rel="stylesheet" href="../../doc/src/boostbook.css" type="text/css">
 <meta name="generator" content="DocBook XSL Stylesheets V1.79.1">
-<link rel="home" href="index.html" title="Chapter&#160;1.&#160;Boost.Contract 1.0">
+<link rel="home" href="index.html" title="Chapter&#160;1.&#160;Boost.Contract 0.5.0">
 <link rel="up" href="reference.html#header.boost.contract.assert_hpp" title="Header &lt;boost/contract/assert.hpp&gt;">
 <link rel="prev" href="BOOST_CONTRACT_ASSERT_AUDIT.html" title="Macro BOOST_CONTRACT_ASSERT_AUDIT">
 <link rel="next" href="BOOST_CONTRACT_BASE_TYPES.html" title="Macro BOOST_CONTRACT_BASE_TYPES">
@@ -33,7 +33,7 @@ <h2 xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="re
 
 </span>BOOST_CONTRACT_ASSERT_AXIOM(cond)</pre></div>
 <div class="refsect1">
-<a name="id1140291"></a><h2>Description</h2>
+<a name="id1113834"></a><h2>Description</h2>
 <p>The asserted condition will always be compiled and validated syntactically, but it will never be evaluated at run-time.</p>
 <p>This macro is defined by code equivalent to:</p>
 <pre class="programlisting"><span class="preprocessor">#define</span> <span class="identifier">BOOST_CONTRACT_ASSERT_AXIOM</span><span class="special">(</span><span class="identifier">cond</span><span class="special">)</span> \

doc/html/BOOST_CONTRACT_AUDITS.html

@@ -4,7 +4,7 @@
 <title>Macro BOOST_CONTRACT_AUDITS</title>
 <link rel="stylesheet" href="../../doc/src/boostbook.css" type="text/css">
 <meta name="generator" content="DocBook XSL Stylesheets V1.79.1">
-<link rel="home" href="index.html" title="Chapter&#160;1.&#160;Boost.Contract 1.0">
+<link rel="home" href="index.html" title="Chapter&#160;1.&#160;Boost.Contract 0.5.0">
 <link rel="up" href="reference.html#header.boost.contract.core.config_hpp" title="Header &lt;boost/contract/core/config.hpp&gt;">
 <link rel="prev" href="BOOST_CONTRACT_ALL_DISABLE_NO_ASSERTION.html" title="Macro BOOST_CONTRACT_ALL_DISABLE_NO_ASSERTION">
 <link rel="next" href="BOOST_CONTRACT_NO_CHECKS.html" title="Macro BOOST_CONTRACT_NO_CHECKS">
@@ -33,7 +33,7 @@ <h2 xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="re
 
 </span>BOOST_CONTRACT_AUDITS</pre></div>
 <div class="refsect1">
-<a name="id1154839"></a><h2>Description</h2>
+<a name="id1127156"></a><h2>Description</h2>
 <p>Audit assertions and implementation checks programmed via  <code class="computeroutput"><a class="link" href="BOOST_CONTRACT_ASSERT_AUDIT.html" title="Macro BOOST_CONTRACT_ASSERT_AUDIT">BOOST_CONTRACT_ASSERT_AUDIT</a></code> and  <code class="computeroutput"><a class="link" href="BOOST_CONTRACT_CHECK_AUDIT.html" title="Macro BOOST_CONTRACT_CHECK_AUDIT">BOOST_CONTRACT_CHECK_AUDIT</a></code> are always compiled and validated syntactically. However, they are not evaluated and checked at run-time unless this macro is defined (because these conditions can be computationally expensive, at least compared to the cost of executing the function body).</p>
 <p><span class="bold"><strong>See Also:</strong></span></p>
 <p> <a class="link" href="boost_contract/extras.html#boost_contract.extras.assertion_levels" title="Assertion Levels"> Assertion Levels</a> </p>

doc/html/BOOST_CONTRACT_BASES_TYPEDEF.html

@@ -4,7 +4,7 @@
 <title>Macro BOOST_CONTRACT_BASES_TYPEDEF</title>
 <link rel="stylesheet" href="../../doc/src/boostbook.css" type="text/css">
 <meta name="generator" content="DocBook XSL Stylesheets V1.79.1">
-<link rel="home" href="index.html" title="Chapter&#160;1.&#160;Boost.Contract 1.0">
+<link rel="home" href="index.html" title="Chapter&#160;1.&#160;Boost.Contract 0.5.0">
 <link rel="up" href="reference.html#header.boost.contract.core.config_hpp" title="Header &lt;boost/contract/core/config.hpp&gt;">
 <link rel="prev" href="BOOST_CONTRACT_MAX_ARGS.html" title="Macro BOOST_CONTRACT_MAX_ARGS">
 <link rel="next" href="BOOST_CONTRACT_INVARIANT_FUNC.html" title="Macro BOOST_CONTRACT_INVARIANT_FUNC">
@@ -33,7 +33,7 @@ <h2 xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="re
 
 </span>BOOST_CONTRACT_BASES_TYPEDEF</pre></div>
 <div class="refsect1">
-<a name="id1151843"></a><h2>Description</h2>
+<a name="id1126609"></a><h2>Description</h2>
 <p>This macro expands to the name of the <code class="computeroutput">typedef</code> that lists the base classes for subcontracting via <code class="computeroutput"><a class="link" href="BOOST_CONTRACT_BASE_TYPES.html" title="Macro BOOST_CONTRACT_BASE_TYPES">BOOST_CONTRACT_BASE_TYPES</a></code>. This macro can be defined if the <code class="computeroutput">typedef</code> must have a name different from <code class="computeroutput">base_types</code> (because of name clashes in user code, etc.).</p>
 <p><span class="bold"><strong>See Also:</strong></span></p>
 <p> <a class="link" href="boost_contract/tutorial.html#boost_contract.tutorial.base_classes__subcontracting_" title="Base Classes (Subcontracting)"> Base Classes</a> </p>

doc/html/BOOST_CONTRACT_BASE_TYPES.html

@@ -4,7 +4,7 @@
 <title>Macro BOOST_CONTRACT_BASE_TYPES</title>
 <link rel="stylesheet" href="../../doc/src/boostbook.css" type="text/css">
 <meta name="generator" content="DocBook XSL Stylesheets V1.79.1">
-<link rel="home" href="index.html" title="Chapter&#160;1.&#160;Boost.Contract 1.0">
+<link rel="home" href="index.html" title="Chapter&#160;1.&#160;Boost.Contract 0.5.0">
 <link rel="up" href="reference.html#header.boost.contract.base_types_hpp" title="Header &lt;boost/contract/base_types.hpp&gt;">
 <link rel="prev" href="BOOST_CONTRACT_ASSERT_AXIOM.html" title="Macro BOOST_CONTRACT_ASSERT_AXIOM">
 <link rel="next" href="boost/contract/call_if_statement.html" title="Struct template call_if_statement">
@@ -33,7 +33,7 @@ <h2 xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="re
 
 </span>BOOST_CONTRACT_BASE_TYPES(...)</pre></div>
 <div class="refsect1">
-<a name="id1140449"></a><h2>Description</h2>
+<a name="id1114038"></a><h2>Description</h2>
 <p>In order to support subcontracting, a derived class that specifies contracts for one or more overriding public function must declare a <code class="computeroutput">typedef</code> named  <code class="computeroutput"><a class="link" href="BOOST_CONTRACT_BASES_TYPEDEF.html" title="Macro BOOST_CONTRACT_BASES_TYPEDEF">BOOST_CONTRACT_BASES_TYPEDEF</a></code> using this macro. This <code class="computeroutput">typedef</code> must be <code class="computeroutput">public</code> unless <code class="computeroutput"><a class="link" href="boost/contract/access.html" title="Class access">boost::contract::access</a></code> is used.</p>
 <p><span class="bold"><strong>See Also:</strong></span></p>
 <p> <a class="link" href="boost_contract/tutorial.html#boost_contract.tutorial.base_classes__subcontracting_" title="Base Classes (Subcontracting)"> Base Classes</a></p>

doc/html/BOOST_CONTRACT_CHECK.html

@@ -4,7 +4,7 @@
 <title>Macro BOOST_CONTRACT_CHECK</title>
 <link rel="stylesheet" href="../../doc/src/boostbook.css" type="text/css">
 <meta name="generator" content="DocBook XSL Stylesheets V1.79.1">
-<link rel="home" href="index.html" title="Chapter&#160;1.&#160;Boost.Contract 1.0">
+<link rel="home" href="index.html" title="Chapter&#160;1.&#160;Boost.Contract 0.5.0">
 <link rel="up" href="reference.html#header.boost.contract.core.check_macro_hpp" title="Header &lt;boost/contract/core/check_macro.hpp&gt;">
 <link rel="prev" href="boost/contract/access.html" title="Class access">
 <link rel="next" href="BOOST_CONTRACT_CHECK_AUDIT.html" title="Macro BOOST_CONTRACT_CHECK_AUDIT">
@@ -33,7 +33,7 @@ <h2 xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="re
 
 </span>BOOST_CONTRACT_CHECK(cond)</pre></div>
 <div class="refsect1">
-<a name="id1153237"></a><h2>Description</h2>
+<a name="id1125764"></a><h2>Description</h2>
 <p>It is preferred to use this macro instead of programming implementation checks in a nullary functor passed to <code class="computeroutput"><a class="link" href="boost/contract/check.html" title="Class check">boost::contract::check</a></code> constructor because this macro will completely remove implementation checks from the code when <code class="computeroutput"><a class="link" href="BOOST_CONTRACT_NO_CHECKS.html" title="Macro BOOST_CONTRACT_NO_CHECKS">BOOST_CONTRACT_NO_CHECKS</a></code> is defined.</p>
 <p> <code class="computeroutput"><a class="link" href="BOOST_CONTRACT_CHECK.html" title="Macro BOOST_CONTRACT_CHECK">BOOST_CONTRACT_CHECK</a></code>, <code class="computeroutput"><a class="link" href="BOOST_CONTRACT_CHECK_AUDIT.html" title="Macro BOOST_CONTRACT_CHECK_AUDIT">BOOST_CONTRACT_CHECK_AUDIT</a></code>, and  <code class="computeroutput"><a class="link" href="BOOST_CONTRACT_CHECK_AXIOM.html" title="Macro BOOST_CONTRACT_CHECK_AXIOM">BOOST_CONTRACT_CHECK_AXIOM</a></code> are the three assertion levels predefined by this library.</p>
 <p><span class="bold"><strong>See Also:</strong></span></p>

doc/html/BOOST_CONTRACT_CHECK_AUDIT.html

@@ -4,7 +4,7 @@
 <title>Macro BOOST_CONTRACT_CHECK_AUDIT</title>
 <link rel="stylesheet" href="../../doc/src/boostbook.css" type="text/css">
 <meta name="generator" content="DocBook XSL Stylesheets V1.79.1">
-<link rel="home" href="index.html" title="Chapter&#160;1.&#160;Boost.Contract 1.0">
+<link rel="home" href="index.html" title="Chapter&#160;1.&#160;Boost.Contract 0.5.0">
 <link rel="up" href="reference.html#header.boost.contract.core.check_macro_hpp" title="Header &lt;boost/contract/core/check_macro.hpp&gt;">
 <link rel="prev" href="BOOST_CONTRACT_CHECK.html" title="Macro BOOST_CONTRACT_CHECK">
 <link rel="next" href="BOOST_CONTRACT_CHECK_AXIOM.html" title="Macro BOOST_CONTRACT_CHECK_AXIOM">
@@ -33,7 +33,7 @@ <h2 xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="re
 
 </span>BOOST_CONTRACT_CHECK_AUDIT(cond)</pre></div>
 <div class="refsect1">
-<a name="id1153334"></a><h2>Description</h2>
+<a name="id1125853"></a><h2>Description</h2>
 <p>The specified condition will always be compiled and validated syntactically, but it will not be evaluated at run-time unless  <code class="computeroutput"><a class="link" href="BOOST_CONTRACT_AUDITS.html" title="Macro BOOST_CONTRACT_AUDITS">BOOST_CONTRACT_AUDITS</a></code> is defined (undefined by default).</p>
 <p>This macro is defined by code equivalent to:</p>
 <pre class="programlisting"><span class="preprocessor">#ifdef</span> <span class="identifier">BOOST_CONTRACT_AUDITS</span>

doc/html/BOOST_CONTRACT_CHECK_AXIOM.html

@@ -4,7 +4,7 @@
 <title>Macro BOOST_CONTRACT_CHECK_AXIOM</title>
 <link rel="stylesheet" href="../../doc/src/boostbook.css" type="text/css">
 <meta name="generator" content="DocBook XSL Stylesheets V1.79.1">
-<link rel="home" href="index.html" title="Chapter&#160;1.&#160;Boost.Contract 1.0">
+<link rel="home" href="index.html" title="Chapter&#160;1.&#160;Boost.Contract 0.5.0">
 <link rel="up" href="reference.html#header.boost.contract.core.check_macro_hpp" title="Header &lt;boost/contract/core/check_macro.hpp&gt;">
 <link rel="prev" href="BOOST_CONTRACT_CHECK_AUDIT.html" title="Macro BOOST_CONTRACT_CHECK_AUDIT">
 <link rel="next" href="BOOST_CONTRACT_STATIC_LINK.html" title="Macro BOOST_CONTRACT_STATIC_LINK">
@@ -33,7 +33,7 @@ <h2 xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="re
 
 </span>BOOST_CONTRACT_CHECK_AXIOM(cond)</pre></div>
 <div class="refsect1">
-<a name="id1153538"></a><h2>Description</h2>
+<a name="id1126065"></a><h2>Description</h2>
 <p>The specified condition will always be compiled and validated syntactically, but it will never be evaluated at run-time.</p>
 <p>This macro is defined by code equivalent to:</p>
 <pre class="programlisting"><span class="preprocessor">#define</span> <span class="identifier">BOOST_CONTRACT_CHECK_AXIOM</span><span class="special">(</span><span class="identifier">cond</span><span class="special">)</span> \

doc/html/BOOST_CONTRACT_CONSTRUCTOR.html

@@ -4,7 +4,7 @@
 <title>Macro BOOST_CONTRACT_CONSTRUCTOR</title>
 <link rel="stylesheet" href="../../doc/src/boostbook.css" type="text/css">
 <meta name="generator" content="DocBook XSL Stylesheets V1.79.1">
-<link rel="home" href="index.html" title="Chapter&#160;1.&#160;Boost.Contract 1.0">
+<link rel="home" href="index.html" title="Chapter&#160;1.&#160;Boost.Contract 0.5.0">
 <link rel="up" href="reference.html#header.boost.contract_macro_hpp" title="Header &lt;boost/contract_macro.hpp&gt;">
 <link rel="prev" href="BOOST_CONTRACT_STATIC_INVARIANT.html" title="Macro BOOST_CONTRACT_STATIC_INVARIANT">
 <link rel="next" href="BOOST_CONTRACT_CONSTRUCTOR_PRECONDITION.html" title="Macro BOOST_CONTRACT_CONSTRUCTOR_PRECONDITION">
@@ -33,7 +33,7 @@ <h2 xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="re
 
 </span>BOOST_CONTRACT_CONSTRUCTOR(...)</pre></div>
 <div class="refsect1">
-<a name="id1186339"></a><h2>Description</h2>
+<a name="id1157366"></a><h2>Description</h2>
 <p><code class="computeroutput">BOOST_CONTRACT_CONSTRUCTOR(obj)</code> expands to code equivalent to the following (note that no code is generated when  <code class="computeroutput"><a class="link" href="BOOST_CONTRACT_NO_CONSTRUCTORS.html" title="Macro BOOST_CONTRACT_NO_CONSTRUCTORS">BOOST_CONTRACT_NO_CONSTRUCTORS</a></code> is defined):</p>
 <pre class="programlisting"><span class="preprocessor">#ifndef</span> <span class="identifier">BOOST_CONTRACT_NO_CONSTRUCTORS</span>
     <span class="identifier">boost</span><span class="special">::</span><span class="identifier">contract</span><span class="special">::</span><span class="identifier">check</span> <span class="identifier">internal_var</span> <span class="special">=</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">contract</span><span class="special">::</span>