diff options
| author | herbelin | 2008-06-09 22:08:14 +0000 |
|---|---|---|
| committer | herbelin | 2008-06-09 22:08:14 +0000 |
| commit | 5dd7a60ed62e01d6fb5310eac5b7adb33d6aced5 (patch) | |
| tree | 04d6574085dd26490282d7c82a70ccbfabd75710 /doc/tutorial | |
| parent | 7d2ac586a0f7dc0a497d1c94a9320a11c3e1f3c5 (diff) | |
- Correction de la version simplifiée (filtrage sur deux sig
imbriqués) du bug 1834, mais le bug 1834 reste ouvert [cases.ml].
- Réactivation de l'interprétation des listes dans "generalize" cassée
depuis 11072) [tacinterp.ml].
- Bricoles et petit nettoyage en passant [cases.ml et g_vernac.ml4].
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11083 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/tutorial')
0 files changed, 0 insertions, 0 deletions