Re: [cbc] Graphical interface with Ciao