isar/BUGS


1
2
3
4
5
6
7
8
9

-*- mode:outline -*-

* Isabelle/Isar Proof General Bugs

See also ../BUGS for generic bugs.

Nothing specific here, check isa/BUGS for some issues that may apply
to Isar as well.