diff options
| author | coq | 2004-02-23 16:50:09 +0000 |
|---|---|---|
| committer | coq | 2004-02-23 16:50:09 +0000 |
| commit | 553e548b8c7efb7aa69f1f6a50a11c4bcd97ab64 (patch) | |
| tree | aea7c1a20bff1a65f2d147319365207da10acb76 /lib/explore.ml | |
| parent | 6032ae1dfaf2f9313aad8277b44df1d9d0cc8d91 (diff) | |
Generating of annotations added to Makefile.dir
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5375 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'lib/explore.ml')
0 files changed, 0 insertions, 0 deletions