I made a prototype for generating TikZ code from Herd. Using this technique, one can embed herd execution graphs directly into a paper, and have the fonts match up automatically. Moreover, the generated TiKZ code is easy modified using the powerful PGF/TikZ language, e.g. to add boxes around nodes, or extra arrows, or whatever.
Merge branch 'master' of https://github.com/herd/herdtools

Conflicts:
	herd/Pretty.ml