Summary
- spelling;
- tuned;
- read theory with PIDE markup from session database;
- clarified signature: provide XZ.Cache where Export.Entry is created;
- tuned signature;
- tuned signature;
- clarified exports;
- clarified markup (refining 1c59b555ac4a);
- clarified markup: support more completion, e.g. within ROOTS;
- more accurate markup (refining 1c59b555ac4a);
- tuned signature --- more operations;