Minor formatting

Author: marcogario

CONTRIBUTING

@@ -1,5 +1,5 @@
-We welcome any type of contribution. Have a look at our additional information [1] 
-and please open an issue before starting any major activity, so that we can discuss 
+We welcome any type of contribution. Have a look at our additional information [1]
+and please open an issue before starting any major activity, so that we can discuss
 the details.
 
-[1] https://readthedocs.org/projects/pysmt/badge/?version=latest
+[1] http://pysmt.readthedocs.io/en/latest/development.html

docs/CHANGES.rst

@@ -304,7 +304,7 @@ General:
 
 * Improved handling of options in Solvers (PR #250):
 
-  Solver() takes **options as free keyword arguments. These options
+  Solver() takes ``**options`` as free keyword arguments. These options
   are checked by the class SolverOptions, in order to validate that
   these are meaningful options and perform a preliminary validation to
   catch typos etc. by raising a ValueError exception if the option is

docs/development.rst

@@ -182,14 +182,15 @@ The setup.py script can be used to create packages. The command
 
 will produce a tar.gz file inside the ``dist/`` directory.
 
-For convenience the script *make_distrib.sh* is provided, this builds
+For convenience the script ``make_distrib.sh`` is provided, this builds
 both the binary and source distributions within ``dist/``.
 
 Building Documentation
 ======================
 
-pySMT uses `Sphinx <http://www.sphinx-doc.org/en/stable/index.html/>`_ for documentation. To build the documentation you
-will need `Sphinx <http://www.sphinx-doc.org/en/stable/index.html/>`_ installed, this can be done via pip.
+pySMT uses `Sphinx <http://www.sphinx-doc.org/en/stable/index.html/>`_
+for documentation. To build the documentation you will need Sphinx
+installed, this can be done via pip.
 
 A Makefile in the ``docs/`` directory allows to build the documentation in
 many formats. Among them, we usually consider html and latex.