Changes between Version 33 and Version 34 of WikiStart


Ignore:
Timestamp:
Mar 30, 2016, 9:21:25 AM (9 years ago)
Author:
benl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v33 v34  
    1818== Installation ==
    1919
    20  * You will need a working version of [http://coq.inria.fr Coq]. The proofs are known to work with Coq 8.4.
     20 * You will need a working version of [http://coq.inria.fr Coq]. The proofs are known to work with Coq 8.5.
    2121
    2222 * Source code is on github