diff options
author | 2006-05-30 13:43:15 +0000 | |
---|---|---|
committer | 2006-05-30 13:43:15 +0000 | |
commit | 493367ccdfe146d4f898bb49f1ff43ead382dbf9 (patch) | |
tree | 666293128093cd5b39a64851caf1cd6852319ac6 /INSTALL.win | |
parent | af354d63a814b0855eefda81852029d72b3544db (diff) |
* suite de la revision des wrappers Make
* quelques unfold E.eq en cas de changement de la semantique des foncteurs
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8876 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'INSTALL.win')
0 files changed, 0 insertions, 0 deletions