added license to docs, fixed typo

Author: meilof

README.md

@@ -237,7 +237,7 @@ make html
 
 Then, open `docs/_build/html/index.html`.
 
-A compiled PDF of the documentation is available as `docs/_build/latex/PySNARK.pdf` but this file may not always be up-to-date.
+A compiled PDF of the documentation (generated with `make pdf`) is available as `docs/PySNARK.pdf` but this file may not always be up-to-date.
 
 ## Acknowledgements
 

docs/PySNARK.pdf

@@ -8,14 +8,11 @@ Welcome to PySNARK's documentation!
 
 PySNARK is a Python-based system for performing verifiable computations based on the `Pinocchio <https://eprint.iacr.org/2013/279>`_ system and the `Geppetri <https://eprint.iacr.org/2017/013>`_ extension for proofs on authenticated data.
 
-PySNARK is free to use for non-commercial,
-experimental and research purposes, see ``LICENSE.md`` for details.
-
-
 .. toctree::
    :maxdepth: 2
    :caption: Contents:
 
+   license
    install
    toolchain
    contracts

docs/index.rst

@@ -0,0 +1,39 @@
+License
+=======
+
+Copyright (c) 2016-2018 Koninklijke Philips N.V. All rights reserved. A
+copyright license for redistribution and use in source and binary forms,
+with or without modification, is hereby granted for non-commercial,
+experimental and research purposes, provided that the following conditions
+are met:
+
+- Redistributions of source code must retain the above copyright notice,
+  this list of conditions and the following disclaimers.
+- Redistributions in binary form must reproduce the above copyright notice,
+  this list of conditions and the following disclaimers in the
+  documentation and/or other materials provided with the distribution. If
+  you wish to use this software commercially, kindly contact
+  [email protected] to obtain a commercial license.
+
+This license extends only to copyright and does not include or grant any
+patent license or other license whatsoever.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDER AND CONTRIBUTORS "AS IS"
+AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
+ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
+LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
+CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
+SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
+INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
+CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
+ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+POSSIBILITY OF SUCH DAMAGE.
+
+Some files in this package have their own copyright conditions. Please refer
+to the respective files for details:
+
+- everything under ``qaptools/xbyak`` is copyright by MITSUNARI Shigeo, see ``qaptools/xbyak/COPYRIGHT``
+- everything under ``qaptools/ate-pairing`` is released under the BSD 3-Clause License, see ``qaptools/ate-pairing/readme.md`` 
+- ``pysnark/contracts/Pairing.sol`` is copyright by Christian Reitwiessner, see the file itself
+- ``examples/DRBG.py`` is copyright by David Lazar, see the file itself