On 11 Jun 2013, at 09:57, Marcus Denker <marcus.den...@inria.fr> wrote:

> So maybe we can
>       -> add #inspector that returns the tool
>       -> make inspect be like it was before (with documentation).

+1

Lets not waste any more time on this

Reply via email to