diff options
| author | herbelin | 2008-11-07 17:10:50 +0000 |
|---|---|---|
| committer | herbelin | 2008-11-07 17:10:50 +0000 |
| commit | e0003f41bd1b14b3cc74127355fe9504445750d1 (patch) | |
| tree | f8fb9f687a9afdefaf477f585cf80184417d13e0 /dev | |
| parent | 52978e3763b3be3d1fb749f1d4b9d297a891bfab (diff) | |
- Ajout possibilité de lancer ocamldebug sur coqide
- Correction bug #1815 sur "coqide dir_inexistant/nom_fichier"
- Tests oubliés de la révision 11438 (amélioration affichage coercions)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11555 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/ocamldebug-coq.template | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev/ocamldebug-coq.template b/dev/ocamldebug-coq.template index ac5ec1e0d5..31e928063d 100644 --- a/dev/ocamldebug-coq.template +++ b/dev/ocamldebug-coq.template @@ -26,4 +26,5 @@ exec $OCAMLDEBUG \ -I $COQTOP/contrib/subtac -I $COQTOP/contrib/funind \ -I $COQTOP/contrib/rtauto -I $COQTOP/contrib/setoid_ring \ -I $COQTOP/contrib/recdef -I $COQTOP/contrib/dp \ + -I $COQTOP/ide \ $* |