mirror of
https://github.com/achlipala/frap.git
synced 2024-11-10 00:07:51 +00:00
Bump required Coq version
This commit is contained in:
parent
f049d7e824
commit
5e0e034263
1 changed files with 1 additions and 1 deletions
|
@ -5461,7 +5461,7 @@ The project home page is:
|
|||
\begin{center}
|
||||
\url{https://coq.inria.fr/}
|
||||
\end{center}
|
||||
The code associated with this book is designed to work with Coq versions 8.5 and higher.
|
||||
The code associated with this book is designed to work with Coq versions 8.10 and higher.
|
||||
The project Web site makes a number of versions available, and versions are also available in popular OS package distributions, along with binaries for platforms where open-source package systems are less common.
|
||||
We assume that readers have installed Coq by one of those means or another.
|
||||
It will also be almost essential to use some graphical interface for Coq editing.
|
||||
|
|
Loading…
Reference in a new issue