diff options
| author | herbelin | 2006-08-28 09:15:53 +0000 |
|---|---|---|
| committer | herbelin | 2006-08-28 09:15:53 +0000 |
| commit | afebe632272441db15ec0958825112e4558f7a85 (patch) | |
| tree | 8139aecf169bad99777cf55bde73b823987b9d00 /scripts | |
| parent | 6f7801f1a40e6f2ad593eb9cdad01e118b10018f (diff) | |
Ajout whd_eta + export append_stack_list + petit nettoyage (dont maj de
certains commentaires historiques, traçables jusqu'à la version 4.1,
mais devenus hors à propos suite aux nombreuses modifications du code).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9087 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions