diff options
| author | herbelin | 2003-09-26 15:34:04 +0000 |
|---|---|---|
| committer | herbelin | 2003-09-26 15:34:04 +0000 |
| commit | ee4b850b8a165dc80016204ba2711dcf68a58676 (patch) | |
| tree | 7fce620280fe2dc869b2ac103aca3efc4b33fbcc /dev/objects.el | |
| parent | 4c96e16e718bb3788f3564088efcfd56357345ce (diff) | |
Syntaxe plus liberale pour le type des arguments de filtrage du 'match'; traduction de noms
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4490 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/objects.el')
0 files changed, 0 insertions, 0 deletions