Trac #88: API to specify the session identifier used by the agent.
diff --git a/org.jacoco.doc/docroot/doc/changes.html b/org.jacoco.doc/docroot/doc/changes.html
index 8f03949..8210004 100644
--- a/org.jacoco.doc/docroot/doc/changes.html
+++ b/org.jacoco.doc/docroot/doc/changes.html
@@ -19,10 +19,17 @@
 

 <h2>Trunk Build @qualified.bundle.version@ (@build.date@)</h2>

 

+<h3>New Features</h3>

+<ul>

+  <li>Execution data now includes session information: an arbitrary identifier,

+      the start time and dump time (Trac #88).</li>

+</ul>

+

 <h3>API Changes</h3>

 <ul>

   <li>Execution data file header is written and read in any case (Trac #72).</li>

-  <li>Added dumponexit to Agent Options. (Trac #82)</li>

+  <li>Added <code>dumponexit</code> to agent options (Trac #82).</li>

+  <li>Added <code>sessionid</code> to agent options (Trac #88).</li>

   <li>Additional and modified methods in <code>IRuntime</code> to produce

       session information (Trac #88).</li>

 </ul>