Clarify input file formats

docs/sphinx_docs/Input_file_formats/index.rst

@@ -3,11 +3,17 @@
 Input file formats
 ******************
 
-Alt-ergo supports different input language. The main language is his native language, based on the lamguage of the Why plateform and detailed below. Alt-ergo (partially) supports the standard language of the SMT community, SMT-LIB. It also (partially) supports the input language of Why3 through the :doc:`AB-Why3 plugin <../Plugins/ab_why3>`.
+Alt-ergo supports different input languages:
+
+- The original input language is his native language, based on the language of the Why3 plateform and
+  detailed below.
+- Since 2.5.0, Alt-ergo fully supports the SMT-LIB language v2.6 through
+  `Dolmen <https://github.com/Gbury/dolmen>`_.
+- It also (partially) supports the input language of Why3 through the :doc:`AB-Why3 plugin <../Plugins/ab_why3>`.
 
 .. toctree::
    :maxdepth: 2
    :caption: Contents
-   
-   Alt-Ergo's native language <Native/index>
-   SMT-LIB                    <SMT-LIB2/index>
+
+   Alt-Ergo's native language  <Native/index>
+   SMT-LIB 2                   <SMT-LIB2/index>