Coverage counter definitions, link to XML report, new outline for documentation.
diff --git a/org.jacoco.doc/docroot/doc/implementation.html b/org.jacoco.doc/docroot/doc/implementation.html
index 39d3865..f2e8595 100644
--- a/org.jacoco.doc/docroot/doc/implementation.html
+++ b/org.jacoco.doc/docroot/doc/implementation.html
@@ -53,7 +53,7 @@
<li><span class="high">Instrumentation*</span>
<ul>
<li>Java Source Instrumentation</li>
- <li><span class="high">Byte Code Instrumentation'</span>
+ <li><span class="high">Byte Code Instrumentation*</span>
<ul>
<li>Offline
<ul>
@@ -94,8 +94,9 @@
<p class="intro">
Instrumentation means inserting probes at certain check points in the Java
- byte code. A probe generated piece of byte code that records the fact that it
- has been executed. JaCoCo inserts probes at the end of every basic block.
+ byte code. A probe is a generated piece of byte code that records the fact
+ that it has been executed. JaCoCo inserts probes at the end of every basic
+ block.
</p>
<p>