Wishes for the Isabelle proof assistant

Isabelle/Isar

IDE

Document preparation system

Build system