diff options
author | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2002-01-07 05:34:24 +0000 |
---|---|---|
committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2002-01-07 05:34:24 +0000 |
commit | 5131209a85e65c4c8619899373ea3d1ce866ba78 (patch) | |
tree | 464eabb29419617952e1caf46f4c680e838a4886 /theories/Relations | |
parent | 7f467f7fb09abba8e0cb2dca2c50c3adc0509c59 (diff) |
Suppression de la dépendance des .vo en le nom physique des modules
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2379 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/Relations')
0 files changed, 0 insertions, 0 deletions