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
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