Changes

Summary

1. adapted to d25093536482;
2. clarified markup;
3. clarified signature;
4. tuned signature;
5. tuned;
6. more NEWS;
7. more documentation on Isabelle/Scala;
8. proper error positions;
9. tuned;
10. tuned whitespace;
11. more antiquotations;
12. check bash functions against Isabelle settings environment;
13. misc tuning;
14. breakable scala_name;
15. tuned signature;
16. discontinued pointless document antiquotation;
17. proper check of example;
18. clarified signature --- fit within limit of 22 arguments;
19. tuned;
20. tuned;