Bugs marked (*) are fixed in the subversion v8.2 branch but are
not integrated to the downloadable packages yet.

- All (reproducible) true bugs marked open in the Coq bugtracker at
  http://logical.saclay.inria.fr/coq-bugs
- An undo bug in coqIde (*)
- coqdoc not working with some LaTeX installations with options -ps,
  -pdf and -dvi (*)
- Bug 1367 (coqide crash when run out of a terminal) (*)
- Bug 1876 (bad interaction between omega and Program) (*)
...