-*- mode:outline -*-

* Isabelle/Isar Proof General Bugs

See also ../BUGS for generic bugs.

Nothing specific here.