Changes

Summary

1. replace manual def. of timing function
2. merged
3. Simplification of sin, cos, exp of multiples of pi
4. minor performance tuning: more compact data;
5. removed unused/inefficient size_of_proof (see also 2241191a3c54);
6. tuned;
7. more robust: avoid crash of sleep() for negative time;
8. clarified signature;
9. clarified signature: more explicit types;
10. support "rsync --chmod --chown" via Rsync.Context;
11. tuned;
12. bash: proper bash_process via SSH; getenv: prefer light-weight ssh.execute;
13. clarified signature: support explicit cwd;
14. support bash via SSH;
15. clarified comments;
16. proper support for remote cwd;
17. clarified context for (remote) bash scripts: export variables are optional, support cwd;
18. more operations for SSH.System: bash_process and bash;
19. unused;
20. clarified signature: prefer symbolic isabelle.Path over physical java.io.File;
21. minor performance tuning;
22. merged
23. minor performance tuning: save approx. 70ms per SSH command;
24. minor performance tuning: save approx. 70ms per SSH command;
25. minor performance tuning: save approx. 70ms per SSH test command;
26. suport Isabelle_System.bash via SSH.System;
27. more operations;
28. tuned;
29. clarified signature;
30. clarified signature;
31. obsolete: macOS 10.x is no longer supported (see also 059743bc8311);
32. tuned tmp name;
33. tuned;
34. tuned;
35. tuned comments;
36. merged
37. clarify routes: absolute in api and relative for frontend;
38. add auto-reload for more interactive web apps;
39. clarified web app endpoints;
40. proper html script tag: source code must not be escaped;
41. add explicit Content-Length header to http response (otherwise it is missing in HEAD responses);
42. add HEAD to http server: should send same header fields as if request was GET;