Correct some mistakes in the user manual
authorJulien Tribino <julien.tribino@inria.fr>
Wed, 4 Dec 2013 10:48:34 +0000 (11:48 +0100)
committerJulien Tribino <julien.tribino@inria.fr>
Wed, 4 Dec 2013 10:48:34 +0000 (11:48 +0100)
commitd1d801a0008692058ed46aa034c6ad5075c0fbfc
tree7afb1345a032b4439e0895d9dfe28897fb6a39cd
parent814c0648be6db5f3d3500645f9c6048814f0ba8b
Correct some mistakes in the user manual
doc/user_manual/ec_api.tex
doc/user_manual/faq.tex
doc/user_manual/getting_started.tex
doc/user_manual/introduction.tex