• Alexandre Duret-Lutz's avatar
    use a bibtex file to collect all references in Doxygen · df326e03
    Alexandre Duret-Lutz authored
    * doc/tl/tl.bib: Move ...
    * doc/spot.bib: ... here, and augment it with all references that
    appeared verbatim in Doxygen comments.
    * doc/Makefile.am, doc/tl/Makefile.am
    doc/tl/tl.tex: Adjust for the move.
    * doc/Doxyfile.in: Point to spot.bib.
    * spot/gen/automata.hh, spot/gen/formulas.hh, spot/misc/game.hh,
    spot/misc/minato.hh spot/taalgos/emptinessta.hh,
    spot/taalgos/minimize.hh, spot/taalgos/tgba2ta.hh, spot/tl/formula.hh,
    spot/tl/remove_x.hh, spot/tl/simplify.hh, spot/tl/snf.hh,
    spot/twaalgos/cobuchi.hh, spot/twaalgos/cycles.hh,
    spot/twaalgos/dualize.hh, spot/twaalgos/gtec/gtec.hh,
    spot/twaalgos/gv04.hh, spot/twaalgos/ltl2taa.hh,
    spot/twaalgos/ltl2tgba_fm.hh, spot/twaalgos/magic.hh,
    spot/twaalgos/minimize.hh, spot/twaalgos/parity.hh,
    spot/twaalgos/powerset.hh, spot/twaalgos/randomgraph.hh,
    spot/twaalgos/se05.hh, spot/twaalgos/simulation.hh,
    spot/twaalgos/strength.hh, spot/twaalgos/stutter.hh,
    spot/twaalgos/tau03.hh, spot/twaalgos/totgba.hh,
    spot/twaalgos/toweak.hh: Use \cite instead of a verbatim bibtex entry.
    df326e03
Name
Last commit
Last update
..
.gitignore Loading commit data...
Makefile.am Loading commit data...
bareword.cc Loading commit data...
bareword.hh Loading commit data...
bddlt.hh Loading commit data...
bitset.cc Loading commit data...
bitset.hh Loading commit data...
bitvect.cc Loading commit data...
bitvect.hh Loading commit data...
casts.hh Loading commit data...
common.hh Loading commit data...
escape.cc Loading commit data...
escape.hh Loading commit data...
fixpool.cc Loading commit data...
fixpool.hh Loading commit data...
formater.cc Loading commit data...
formater.hh Loading commit data...
game.cc Loading commit data...
game.hh Loading commit data...
hash.hh Loading commit data...
hashfunc.hh Loading commit data...
intvcmp2.cc Loading commit data...
intvcmp2.hh Loading commit data...
intvcomp.cc Loading commit data...
intvcomp.hh Loading commit data...
location.hh Loading commit data...
ltstr.hh Loading commit data...
memusage.cc Loading commit data...
memusage.hh Loading commit data...
minato.cc Loading commit data...
minato.hh Loading commit data...
mspool.hh Loading commit data...
optionmap.cc Loading commit data...
optionmap.hh Loading commit data...
position.hh Loading commit data...
random.cc Loading commit data...
random.hh Loading commit data...
satsolver.cc Loading commit data...
satsolver.hh Loading commit data...
timer.cc Loading commit data...
timer.hh Loading commit data...
tmpfile.cc Loading commit data...
tmpfile.hh Loading commit data...
trival.hh Loading commit data...
version.cc Loading commit data...
version.hh Loading commit data...