I still predict we won't see any MkIII lenses until the big megapixel camera is out.
Nice to know they are coming though.
Only one of the four, the 85 f1.2 is for a MkIII lens, the other three would only be MkII's.
The 135 patent is not IS, indeed only the 50 f1.4 contains enough elements and groups to be IS but it is a stretch.