On Wed, 2005-03-30 at 11:03 -0500, Miguel de Icaza wrote: > In addition to this, Mike will be assisting me in splitting Monodoc > into two pieces: the documentation engine/docs will stay in Monodoc and > the GUI tools will be moved into a new module for Gtk# based tools > (still no name for it). I thought we were going to use mono-tools... - Jon