Summary
- more informative error for spurious crash;
- merged
- tuned;
- dummy File_Watcher for Windows (spurious crashes seen on Windows 7);
- more robust treatment of logical lines;
- updated package;
- proper name for recursive grammar; pro-forma update of fileTypes;
- emit Commands_Changed for blobs as well, e.g. relevant for isabelle.vscode.Server.prover_output;
- suppress empty results;
- tuned;
- manage document blobs as well;
- misc tuning and clarification;
- tuned;
- tuned;
- tuned;