diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-10-26 13:43:06 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-10-26 13:43:06 +0000 |
| commit | 20ba5a3934067925fb08d6d464ebe5102d358d41 (patch) | |
| tree | dd9982015c6e06746cebae65e0dce85a4e00e278 /kernel/subtyping.ml | |
| parent | 61035d6001dd784f1f1acf06aba84b3a06972301 (diff) | |
- MAJ svn:ignore pour bin/coq-parser (anciennement bin/parser)
- Correction test des scopes pour les notations récursives (suite commit 11489)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11506 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/subtyping.ml')
0 files changed, 0 insertions, 0 deletions