• Alexandre Duret-Lutz's avatar
    org: add a citing page · 5f3cc522
    Alexandre Duret-Lutz authored
    With a reference to the "to appear" ATVA'16 paper.
    
    * doc/org/citing.org: New file.
    * doc/Makefile.am: Add it.
    * doc/org/index.org, doc/org/tools.org: Link to it.
    5f3cc522