Changes

Summary

1. merged
2. arg for the nonstandard complex numbers
3. merged
4. converting arg to Arg
5. just a bit of tidying up
6. create jar in pure Java;
7. tuned signature;
8. clarified order;
9. proper treatment of leading zero;
10. support for jar resources;
11. tuned whitespace;
12. tuned signature;
13. tuned;
14. support for Isabelle/Scala in pure Java;
15. tuned signature;
16. clarified directories;
17. clarified modules and signatures;
18. back to scala-2.13.5: avoid problems with history in scala REPL;
19. tuned imports;
20. merged
21. clarified Isabelle/Java/Scala project setup;
22. support for Isabelle setup in pure Java;
23. tuned: prefer Java interfaces;
24. clarified package: towards stand-alone setup;
25. tuned;
26. more direct java.home, according to current jdk directory layout;
27. tuned;
28. clarified modules; avoid initial use of _settings during init;
29. tuned: prefer Java interfaces;
30. tuned: prefer Java interfaces;
31. clarified signature: prefer Java interfaces;
32. clarified signature;
33. clarified signature;
34. proper usage;
35. clarified modules;
36. tuned;
37. clarified modules (again): services require full Isabelle/Scala environment;
38. clarified modules;
39. updated to scala-2.13.6, with scala-xml 1.3.0 ~> 2.0.0;
40. clarified environment (amending 9444489766a1);
41. merged
42. move code setup from Cardinality to separate theory
43. A few useful lemmas about derivatives, colinearity and other topics

Summary

1. arg -> Arg: the last holdout
2. merged
3. arg -> Arg
4. Add entry public announcement logic
5. merged
6. adapt to changes in HOL-Library.Cardinality
7. Added Approximation_Algorithm for Center_Selection