• Alexandre Duret-Lutz's avatar
    * src/ltlast/atomic_prop.hh, src/ltlast/binop.hh, · 36aadba7
    Alexandre Duret-Lutz authored
    src/ltlast/constant.hh, src/ltlast/formula.hh,
    src/ltlast/multop.hh, src/ltlast/refformula.hh,
    src/ltlast/unop.hh, src/ltlast/visitor.hh, src/ltlenv/declenv.hh,
    src/ltlenv/defaultenv.hh, src/ltlenv/environment.hh,
    src/ltlparse/public.hh, src/ltlvisit/apcollect.hh,
    src/ltlvisit/basicreduce.hh, src/ltlvisit/clone.hh,
    src/ltlvisit/destroy.hh, src/ltlvisit/dotty.hh,
    src/ltlvisit/dump.hh, src/ltlvisit/length.hh,
    src/ltlvisit/lunabbrev.hh, src/ltlvisit/nenoform.hh: Add Doxygen
    groups for LTL algorithms and types.
    * doc/Makefile.am (fast-doc): New target.
    36aadba7
To find the state of this project's repository at the time of any of these versions, check out the tags.