* Add some more texts: editors, license information

doc/editors.rst

@@ -9,6 +9,12 @@ Editor support
 The AADL modes for Emacs and vim provide syntax coloration and
 automatic indentation features when editing AADL files.
 
+.. figure:: aadl-editors.png
+   :align: center
+   :scale: 75 %
+
+   AADL mode for emacs and vim
+
 Emacs
 =====
 
@@ -19,10 +25,6 @@ your emacs configuration file (usually located in :file:`~/.emacs`) ::
 
 For more details on this mode, please refer to the emacs contextual help.
 
-.. figure:: aadl-mode.png
-   :align: center
-
-   AADL mode for Emacs
 
 vim
 ===
@@ -40,10 +42,3 @@ named :file:`~/.vim/filetype.vim`, in which you write::
      augroup END
 
 For more details, please read the documentation of vim.
-
-
-.. figure:: aadl-mode_vim.png
-   :align: center
-
-   AADL mode for vim
-

doc/index.rst

@@ -7,6 +7,7 @@ Ocarina User's Guide
 ====================
 
 .. toctree::
+   :numbered:
    :maxdepth: 2
 
    about

doc/introduction.rst

@@ -37,6 +37,24 @@ standards and proposes the following features :
   scheduling analysis tool from the Université de Bretagne
   Occidentale, and MAST from the University of Cantabria
 
+
+Ocarina is distributed under the GNAT Modified GPL licence, or
+GMGPL. The GMGPL is an extension of GPLv2, adding the following
+provision:
+
+        As a special exception, if other files instantiate generics
+        from this unit, or you link this unit with other files to
+        produce an executable, this unit does not by itself cause the
+        resulting executable to be covered by the GNU General Public
+        License. This exception does not however invalidate any other
+        reasons why the executable file might be covered by the GNU
+        Public License.
+
+The GMGPL guarantees that Ocarina, but also the code it generates can
+be distributed under customer-specific terms and
+conditions. Specifically, the GMGPL ensures that you can generate
+proprietary, classified, or otherwise restricted executables.
+
 About AADL
 ##########