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 /library/summary.ml | |
| 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 'library/summary.ml')
0 files changed, 0 insertions, 0 deletions