On Sat, Jun 23, 2007 at 19:51:41 +0200, Ralf Treinen wrote: > The graph layout seems to be slightly different too, but besides this > the fucntionalities are the same as far a I can see. Hence, I plan to > drop ocamldot from the next uplaod of ocaml-tools. Are there any > objections? > Sounds good to me. Cheers, Julien
Attachment:
signature.asc
Description: Digital signature