On Fri, Aug 20, 2010 at 6:38 PM, Adam Murdoch <[email protected]> wrote:
> > A good point. It might be a touch too minimal. Perhaps we do this only when > we're running in an environment where we can provide transient progress > information, such when we're running from a terminal or from the GUI or IDE > plugin. > > I think we should try logging only the main tasks (by default, -i and -d > might show every task) and see how it goes. > > Sounds like a reasonable plan to me. -- John Murph Automated Logic Research Team
