Add more to top level doc.

doc/sphinx/source/index.rst

@@ -11,7 +11,12 @@ Unified Form Language (UFL) documentation
 This is the documentation for the Unified Form Language from the
 FEniCS Project (http://fenicsproject.org).
 
-UFL is described in the paper
+
+The Unified Form Language (UFL) is a domain specific language for
+declaration of finite element discretizations of variational
+forms. More precisely, it defines a flexible interface for choosing
+finite element spaces and defining expressions for weak forms in a
+notation close to mathematical notation. UFL is described in the paper
 
 Alnæs, M. S., Logg A., Ølgaard, K. B., Rognes, M. E. and
 Wells, G. N. (2014). Unified Form Language: A domain-specific language
@@ -20,32 +25,47 @@ Transactions on Mathematical Software 40(2), Article 9, 37
 pages. [http://dx.doi.org/doi:10.1145/2566630>]
 [http://arxiv.org/abs/1211.4047]
 
-Contents:
+
+
+Installation
+------------
+
+
+Manual from source
+^^^^^^^^^^^^^^^^^^
+
+    python setup.py install
+
+
+
+Documentation
+-------------
 
 .. toctree::
    :maxdepth: 2
 
 
-Help and support
-----------------
+* :ref:`genindex`
+* :ref:`modindex`
+* :ref:`search`
 
-Send feature requests and questions to
 
-fenics@fenicsproject.org
 
-The Git source repository for UFL is located at
+Help and support
+----------------
 
-https://bitbucket.org/fenics-project/ufl
+Send help requests and questions to fenics-support@fenicsproject.org.
 
-and bugs can be registered at
+Send feature requests and questions to fenics@fenicsproject.org
 
-https://bitbucket.org/fenics-project/ufl/issues
 
 
+Development and reporting bugs
+------------------------------
 
-Indices and tables
-==================
+The git source repository for UFL is located at
+https://bitbucket.org/fenics-project/ufl. For general UFL development
+questions and to make feature requests, use fenics@fenicsproject.org.
 
-* :ref:`genindex`
-* :ref:`modindex`
-* :ref:`search`
+Bugs can be registered at
+https://bitbucket.org/fenics-project/ufl/issues.