-
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
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.