Sven LUTHER a ecrit : > I don't know about coq, but in the ocaml case, it is naturally the graphics > module, which uses Xlib to do the drawing, i think. Oh yes, I forgot it. Now It should be possible to put graphics separately, it is not in the default toplevel for instance. A small patch in the right Makefile should be enough ? See ocaml-3.XX/otherlibs/graph/Makefile BTW Coq don't use graphics. Friendly, JF