blob: 04650b0aff80fbf94ddf1344ccc904ce31b2575a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
Différences V7.0beta / V7.0
- Ajout de déclarations locales aux Record (record à la Randy).
- Correction de bugs (Identity Coercion; Rel not in scope of ?).
----------------------------------------------------------------------
English version of changes is available on
http:coq.inria.fr
and
ftp://ftp.inria.fr/INRIA/coq/V7.0/Changes.ps
|