Xfig, naturally... just kidding ;-) They have been drawn with draw.io.