Permalink
Browse files

Minor formatting

  • Loading branch information...
marcogario committed Oct 13, 2016
1 parent 54cbee3 commit 8d74baa2607d4d46744c3477de3c20f84bcd3c0f
Showing with 8 additions and 7 deletions.
  1. +3 −3 CONTRIBUTING
  2. +1 −1 docs/CHANGES.rst
  3. +4 −3 docs/development.rst
View
@@ -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
View
@@ -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
View
@@ -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.

0 comments on commit 8d74baa

Please sign in to comment.