diff options
| author |  courtieu <courtieu@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-05-26 11:11:00 +0000 |
|---|---|---|
| committer | courtieu <courtieu@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-05-26 11:11:00 +0000 |
| commit | 6df5f6ebf52badf7d57b4071b04f30b94829d8f7 (patch) | |
| tree | 61c45c744656e157779a3e9d4c5ff19bbe4afb7c /theories | |
| parent | 3d8d02a1980ec80e322cdabb6ac035d365c513bf (diff) | |
Added contrib/funind to the path for ocamldebug-coq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8864 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories')
0 files changed, 0 insertions, 0 deletions