Skip to content

better arrows in dot output

Add this to the automata generated for the documentation

edge [arrowhead = vee, arrowsize = .6]

Suggested by Akim