diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 1997-10-23 07:53:12 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 1997-10-23 07:53:12 +0000 |
| commit | 52d314437c3e2c3d002ec64440f56a1977c6048a (patch) | |
| tree | 0a1dde26298e68e57141bba27e148e15e578fb59 /stdlib/array.ml | |
| parent | 2bdf234dc56ea96c395301129420cb337df79e7f (diff) | |
Introduction de l'indication de coupure ge'ne'rale dans printf.
Petit disfonctionnement dans les boi^tes standard, en cas de breaks
successifs en de'but de boi^te ayant donne' lieu a` une coupure de
ligne automatique.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1733 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/array.ml')
0 files changed, 0 insertions, 0 deletions