Wishes for the Isabelle proof assistant

Isabelle/HOL

Isabelle/Isar

IDE

Document preparation system

Build system