Commit a2654c57 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Add documentation links to README file.

parent 95760c8f
......@@ -22,8 +22,9 @@ https://gitlab.inria.fr/why3/why3
DOCUMENTATION
-------------
The documentation (a tutorial and a reference manual) is in
the file `doc/manual.pdf`.
The documentation (a tutorial and a reference manual) is in the file
[doc/manual.pdf](http://why3.lri.fr/manual.pdf) or online at
http://why3.lri.fr/doc/.
Various examples can be found in the subdirectories [theories/](theories)
and [examples/](examples).
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment