Author credit and section flattening for proofs DSL (neon).

doc/conf.py

@@ -15,7 +15,7 @@
 import sys
 import os
 
-docauthorlist = u'Régis Blanc, Samuel Gruetter, Etienne Kneuss, Manos Koukoutos, Viktor Kuncak, Philippe Suter'
+docauthorlist = u'Marco Antognini, Régis Blanc, Samuel Gruetter, Etienne Kneuss, Manos Koukoutos, Viktor Kuncak, Sandro Stucki, Philippe Suter'
 
 # If extensions (or modules to document with autodoc) are in another directory,
 # add these directories to sys.path here. If the directory is relative to the

doc/index.rst

@@ -19,6 +19,7 @@ Contents:
    library
    xlang
    verification
+   neon
    limitations
    synthesis
    repair