Commit 07b2a6e3 authored by Guillaume Melquiond's avatar Guillaume Melquiond

New release.

parent 3cec7121
Prerequisites Prerequisites
------------- -------------
You will need the Coq proof assistant (>= 8.7) with a Reals theory compiled You will need the Coq proof assistant (>= 8.8) with a Reals theory compiled
in. You will also need the Flocq library (>= 3.0, http://flocq.gforge.inria.fr/) in. You will also need the Flocq library (>= 3.0, http://flocq.gforge.inria.fr/)
to be installed. In order to use the `gappa` tactic, Gappa needs to be installed. to be installed. In order to use the `gappa` tactic, Gappa needs to be installed.
......
Version 1.4.2
-------------
- ensured compatibility from Coq 8.8 to 8.10
Version 1.4.1 Version 1.4.1
------------- -------------
......
AC_INIT([Coq support library for Gappa], [1.4.1], AC_INIT([Coq support library for Gappa], [1.4.2],
[Guillaume Melquiond <guillaume.melquiond@inria.fr>], [Guillaume Melquiond <guillaume.melquiond@inria.fr>],
[gappalib-coq]) [gappalib-coq])
......
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