diff options
| author | Maxime Dénès | 2018-03-07 10:55:46 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2018-03-07 10:55:46 +0100 |
| commit | a72d7eeba0ece3ebcc49232762a28b27ab108ded (patch) | |
| tree | e969c88b35869e1c8beeebebd0362a21c968aab8 | |
| parent | 8cf91026ccd9cef43a267b8cc755f123d5b8de7e (diff) | |
| parent | d095b1f2c39a9a3c0b009675573ea34034ffe52c (diff) | |
Merge PR #6922: Remove outdated information regarding the FAQ.
| -rw-r--r-- | doc/LICENSE | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/doc/LICENSE b/doc/LICENSE index ada22e6690..0aa0d629e8 100644 --- a/doc/LICENSE +++ b/doc/LICENSE @@ -25,16 +25,6 @@ the PostScript, PDF and html outputs) are copyright (c) INRIA distributed under the terms of the Lesser General Public License version 2.1 or later. -The FAQ (Coq for the Clueless) is a work by Pierre Castéran, Hugo -Herbelin, Florent Kirchner, Benjamin Monate, and Julien Narboux. All -documents (the LaTeX source and the PostScript, PDF and html outputs) -are copyright (c) INRIA 2004-2006. The material connected to the FAQ -(Coq for the Clueless) may be distributed only subject to the terms -and conditions set forth in the Open Publication License, v1.0 or -later (the latest version is presently available at -http://www.opencontent.org/openpub/). Options A and B are *not* -elected. - The Tutorial on [Co-]Inductive Types in Coq is a work by Pierre Castéran and Eduardo Gimenez. All related documents (the LaTeX and BibTeX sources and the PostScript, PDF and html outputs) are copyright |