diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2005-02-21 00:37:06 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2005-02-21 00:37:06 +0000 |
| commit | 364d966b2c6cb030affb111c3e1049a443907092 (patch) | |
| tree | 58840162bd8b29593b331d0c394796a8a5f9b9d3 /CHANGES | |
| parent | 42f5a264c93422f3c554496cc17b91dad2a17807 (diff) | |
- Correction de bugs
- filtrage sur Bigint.zero incorrect: zero était considéré comme une variable
- coq_false et coq_true au lieu de coq_False et coq_true
- vérification chargement ROmega.vo
- Divers
- changement ordre argument interp_goal_concl pour permettre
application partielle
- amélioration débogueur
- ajout interprétation Zsucc, Zopp, et gel de Zmult si non scalaire
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6761 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'CHANGES')
0 files changed, 0 insertions, 0 deletions