jrfonseca/xdot.py — pull request #13 by stefanor (2014-10-23 21:55:45+00:00)
Title: Support xdot format 1.7

All it adds is the OVERLINE bit for t. We don't currently support t at
all, so we can claim support for 1.7 just much as 1.6.