Changes

Summary

1. more markup, e.g. to locate defining theory node in formal document output;
2. tuned signature;
3. export other entities, e.g. relevant for formal document output; clarified markup kind (PIDE) vs. export kind (e.g. MMT);
4. pointer_eq_ord: minor performance tuning;
5. more robust: progress.stopped means that build has failed;
6. more reactive interrupt;
7. more reactive interrupt;
8. more robust: retain length of results;
9. more reactive interrupt;
10. tuned signature;
11. tuned signature;
12. tuned signature;
13. tuned;
14. merged
15. clarified modules;
16. more scalable operations;
17. more scalable operations;
18. tuned;
19. clarified modules;
20. clarified signature; minor performance tuning;
21. more scalable operations;
22. unused;
23. more efficient operations: traverse hyps only when required;
24. more robust signature: result has no particular order;
25. more scalable operations;
26. unused;
27. more scalable operations;
28. clarified;
29. tuned signature;
30. clarified signature;
31. more scalable operations;
32. clarified signature;
33. tuned signature;
34. more scalable operations;
35. more scalable operations;
36. more scalable operations; tuned;
37. more scalable operations;