OT: Does anyone know what software was used to create those sequence diagrams?
You define everything with text and it renders a diagram based on what you've written. It's kind of like the dot/Graphviz of sequence diagrams.
You could also try yED. http://www.yworks.com/en/products/yfiles/yed/
EDIT: This site has a nice list of a bunch of software that you can check. http://alternativeto.net/software/dia/