more uniform pending_input / pending_output; explicit Document_Model.uri; tuned;

unused;

precise full_range and thus proper try_restrict in Snapshot.cumulate;

clarified protocol errors;

clarified signature;

unused;

clarified options;

clarified signature: maintan Text.Length within Line.Document;

clarified modules;

clarified signature: explicit Length to avoid implicit mistakes;

tuned;

more uniform treatment of input/output wrt. client; support for diagnistic messages; misc tuning;

tuned;

more uniform treatment of "bad" like other messages (with serial number);

clarified modules;

support for diagnostics;

print constants in 'primrec', 'primcorec(ursive)', 'corec(ursive)', like in 'definition' and 'fun(ction)'

more uniform treatment of file name vs. theory name and special header;

clarified document: no stored text;

clarified header text;

restored instance for char, which got ancidentally lost in b3f2b8c906a6

merged

proper file:// URL for external references;

full range for Position.Item; more hyperlinks for VSCode;

tuned;

tuned;

tuned;

tuned;

tuned;

suppress dummy id;