home.md

@@ -5,35 +5,45 @@
 
   1. [Overview](home#11-overview)
   
-  1. [Launching an application with COJAC](home#12-launching-an-application-with-cojac)
+  2. [Launching an application with COJAC](home#12-launching-an-application-with-cojac)
   
-  1. [Links and notes](home#13-links-and-notes)
+  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)
 
-  1. [Configuring what COJAC will detect](home#22-configuring-what-cojac-will-detect)
+  2. [Configuring what COJAC will detect](home#22-configuring-what-cojac-will-detect)
   
-  1. []()
+  3. [Configuring how COJAC will signal the detected problems](home#23-configuring-how-cojac-will-signal-the-detected-problems)
 
-  1. []()
+  4. [Instrumenting without executing](home#4-instrumenting-without-executing)
 
-  1. []()
+  5. [Example](home#5-example)
 
-3. []()
+  6. [JMX feature](home#6-jmx-feature)
 
-  1. []()
+3. [COJAC: the enriching wrapper](home#3-cojac-the-enriching-wrapper)
 
-  1. []()
+  1. [Our wrapping mechanism](home#31-our-wrapping-mechanism)
 
-  1. []()
+  2. [Number model "BigDecimal"](home#32-number-model-bigdecimal)
 
-  1. []()
+  3. [Number model "Interval computation"](home#33-number-model-interval-computation)
 
-  1. []()
+  4. [Number model "Discrete stochastic arithmetic"](home#34-number-model-discrete-stochastic-arithmetic)
 
-4. []()
+  5. [Number model "Automatic differentiation"](home#35-number-model-automatic-differentiation)
+
+4. [Detailed usage](home#4-detailed-usage)
+
+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)
 
 --------------------------------------------------
 # 1 - Introduction
@@ -206,7 +216,7 @@ be finally synthesized (with occurrences count).
 
 
 --------------------------------------------------
-## 2.5 - Instrumenting without executing
+## 2.4 - Instrumenting without executing
 
 Early versions of COJAC were able to create "offline" an instrumented version of the 
 application code (that can later be executed). We no longer provide this feature: 
@@ -214,7 +224,7 @@ COJAC is designed to apply on-the-fly instrumentation, we advocate its use
 as a diagnostic-enabled java launching means. 
 
 --------------------------------------------------
-## 2.6 - Example
+## 2.5 - Example
 
 Here is a small example of what COJAC can do. Let's take a simple class like that: