Summary
- more robust: tmp files might get deleted concurrently in ML vs. Scala process;
- clarified fonts;
- tuned;
- clarified errors;
- tuned;
- clarified;
- tuned message;
- tuned;
- tuned;
- handler for Isabelle version;
- tuned;
- handler for Isabelle fonts;
- more operations;
- clarified modules;
- clarified signature;