Summary
- merged
- updated package;
- maintain overlays within main state of document models; proper pending_input for Isabelle/VSCode;
- proper treatment of editor overlays;
- tuned;
- clarified modules;
- tuned signature;
- support for separate proof state output;
- automatic reformatting;
- more general dispatcher operations;
- tuned;
- clarified modules;
- tuned;
- tuned;