BUGS « isar - proof-general - Emacs plugins for proof management systems

about summary refs log tree commit diff

path: root/isar/BUGS

blob: 88d9b7575c5d58bd468428cfc2d4b72494730b2d (plain)

-*- mode:outline -*-

* Isabelle/Isar Proof General Bugs

See also ../BUGS for generic bugs.

Nothing specific here.