Skip to content
  • Alexandre Duret-Lutz's avatar
    org: uses nice dot arrows · 8e6b35e5
    Alexandre Duret-Lutz authored
    Suggested by Akim Demaille.  Fixes #69.
    
    * doc/org/.dir-locals.el, doc/org/init.el.in,
    wrap/python/tests/automata.ipynb: Set arrowhead and arrowsize.
    * doc/org/autfilt.org, doc/org/dstar2tgba.org,
    doc/org/ltl2tgba.org, doc/org/oaut.org: Adjust.
    8e6b35e5