SR: name change for Box.midpoint
SR: midpoint: name changed
SR: contains function added
This commit was manufactured by cvs2svn to create tag 'rsolver-2_03'.
*** empty log message ***
SR: do not split boxes smaller than 1 ulp
SR: bugfix CR lexing
allow CR (windows) also
new link for ocamlmakefile
SR: array_max_el