diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-10-03 15:55:11 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-10-03 15:55:11 +0000 |
| commit | a40e92559339d41eb3a757968de4367d77df712f (patch) | |
| tree | cb0d6f1ac0af6983c10f2663288f73121c141162 /Makefile.doc | |
| parent | 60622d207ebbeffb8e0c3d7861858e8ca9819e6e (diff) | |
Fixed small name freshness bug in Functional Scheme ("Heq" name was
not refreshed late enough).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12369 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile.doc')
0 files changed, 0 insertions, 0 deletions