The missing method: Deleting from Okasaki's red-black trees

Off-topic, but does anyone know in which application are the diagrams made? I hope not Photoshop/GIMP/Inkscape but something diagram oriented..

Nice pictures! I wonder why non-Haskell versions of Kahrs' algorithm are so Byzantine.