Lors de la creation de l'environnement depuis un resume, message d'erreur lorsqu'un module a ouvrir n'est pas trouve (plutot qu'erreur fatale...) La commande break est interpretee en fonction de la position selectionnee plutot que la position courante.
Lors de la creation de l'environnement depuis un resume, message
d'erreur lorsqu'un module a ouvrir n'est pas trouve (plutot qu'erreur
fatale...)
La commande break est interpretee en fonction de la position
selectionnee plutot que la position courante.


git-svn-id: e7e61699ce1738538ffebb75374fbea0924bc775@1464 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

hhugo/camlp4,gerdstolpmann/ocaml,eliberis/ocaml,yallop/camlp4,yunxing/ocaml,msprotz/ocaml,yunxing/ocaml,eliberis/ocaml,chambart/camlp4,gerdstolpmann/ocaml,yunxing/ocaml,eliberis/ocaml,msprotz/ocaml,yunxing/ocaml,eliberis/ocaml,msprotz/ocaml,yunxing/ocaml,msprotz/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,msprotz/ocaml,eliberis/ocaml,gerdstolpmann/ocaml