diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-06-17 13:33:11 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-06-17 13:33:24 +0200 |
| commit | b33aa9bd9760b8de73709f9e11f63b1ae9da07b1 (patch) | |
| tree | 72209e7b81ba0ea2c50db303ba85441527cb9331 /doc | |
| parent | 5734c4527befeb61249979ecf7c043a3b463fc98 (diff) | |
Remove Tutorial from Additional documentation in refman intro.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/sphinx/introduction.rst | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/doc/sphinx/introduction.rst b/doc/sphinx/introduction.rst index 75ff72c4d..e1323ed29 100644 --- a/doc/sphinx/introduction.rst +++ b/doc/sphinx/introduction.rst @@ -101,13 +101,6 @@ List of additional documentation This manual does not contain all the documentation the user may need about |Coq|. Various informations can be found in the following documents: -Tutorial - A companion volume to this reference manual, the |Coq| Tutorial, is - aimed at gently introducing new users to developing proofs in |Coq| - without assuming prior knowledge of type theory. In a second step, - the user can read also the tutorial on recursive types (document - `RecTutorial.ps`). - Installation A text file `INSTALL` that comes with the sources explains how to install |Coq|. |