diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2005-02-21 00:38:37 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2005-02-21 00:38:37 +0000 |
| commit | 0c52ddea0e26c5aef919aa3bf457b6e07a8871f5 (patch) | |
| tree | f4a4327f4dac584fa499c0ccd2e6700c232df4b6 /CHANGES | |
| parent | 364d966b2c6cb030affb111c3e1049a443907092 (diff) | |
- changement ordre arguments interp_goal_concl pour permettre application
partielle
- amélioration traduction en nouvelle syntaxe
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6762 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'CHANGES')
0 files changed, 0 insertions, 0 deletions