updated labspec & toSolve docs