home.md

@@ -4,35 +4,24 @@
 1. [Introduction](home#1-introduction)
 
   1. [Overview](home#11-overview)
-  
   2. [Launching an application with COJAC](home#12-launching-an-application-with-cojac)
-  
   3. [Links and notes](home#13-links-and-notes)
   
 2. [COJAC: the numerical sniffer](home#2-cojac-the-numerical-sniffer)
   
   1. [What COJAC considers suspicious](home#21-what-cojac-considers-suspicious)
-
   2. [Configuring what COJAC will detect](home#22-configuring-what-cojac-will-detect)
-  
   3. [Configuring how COJAC will signal the detected problems](home#23-configuring-how-cojac-will-signal-the-detected-problems)
-
   4. [Instrumenting without executing](home#24-instrumenting-without-executing)
-
   5. [Example](home#25-example)
-
   6. [JMX feature](home#26-jmx-feature)
   
 3. [COJAC: the enriching wrapper](home#3-cojac-the-enriching-wrapper)
 
   1. [Our wrapping mechanism](home#31-our-wrapping-mechanism)
-
   2. [Number model "BigDecimal"](home#32-number-model-bigdecimal)
-
   3. [Number model "Interval computation"](home#33-number-model-interval-computation)
-
   4. [Number model "Discrete stochastic arithmetic"](home#34-number-model-discrete-stochastic-arithmetic)
-
   5. [Number model "Automatic differentiation"](home#35-number-model-automatic-differentiation)
 
 4. [Detailed usage](home#4-detailed-usage)
@@ -40,7 +29,6 @@
 5. [Limitations and known issues](home#5-limitations-and-known-issues)
 
   1. [Issues with the sniffer](home#51-issues-with-the-sniffer)
-
   2. [Issues with the wrapper](home#52-issues-with-the-wrapper)
 
 6. [And now...](home#6-and-now)
@@ -80,6 +68,9 @@ is "called back" from Java library...).
 With COJAC you don't have to modify your source code or even recompile. All 
 the work is done at runtime, when your application gets instrumented on-the-fly. 
 
+This software is distributed under the "Apache License, v2.0", without any warranty.
+
+
 ## 1.2 - Launching an application with COJAC
 
 COJAC relies on the Java Agent mechanism; our tool is activated via the mere