[ros-dev] RE: [ros-diffs] [martinf] 33: import the lean explorer branch into thenew repository