Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- [Trace - 6:26:04 AM] Sending request 'initialize - (0)'.
- [Trace - 6:26:04 AM] Received notification 'window/logMessage'.
- [Info - 6:26:04 AM] server log file /home/user/RegularBracketString/log-lsp.txt created
- [Trace - 6:26:04 AM] Received notification 'window/logMessage'.
- [Info - 6:26:04 AM] Configuration loaded from Command-line arguments
- [Trace - 6:26:04 AM] Received response 'initialize - (0)' in 198ms.
- [Trace - 6:26:04 AM] Sending notification 'initialized'.
- [Trace - 6:26:04 AM] Sending notification 'textDocument/didOpen'.
- [Trace - 6:26:05 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:09 AM] Sending notification '$/setTrace'.
- [Trace - 6:26:09 AM] Received notification 'textDocument/publishDiagnostics'.
- [Trace - 6:26:09 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:10 AM] Sending notification '$/setTrace'.
- [Trace - 6:26:11 AM] Sending notification '$/setTrace'.
- [Trace - 6:26:12 AM] Sending request 'textDocument/documentSymbol - (1)'.
- [Trace - 6:26:13 AM] Received notification 'textDocument/publishDiagnostics'.
- [Trace - 6:26:13 AM] Received response 'textDocument/documentSymbol - (1)' in 759ms. Request failed: Document is not ready (-32802).
- [Trace - 6:26:13 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:13 AM] Received notification 'textDocument/publishDiagnostics'.
- [Trace - 6:26:13 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:13 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:13 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:13 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:13 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:13 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:14 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:15 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification '$/coq/fileProgress'.
- [Trace - 6:26:16 AM] Received notification 'textDocument/publishDiagnostics'.
- [Trace - 6:27:07 AM] Sending request 'textDocument/hover - (2)'.
- [Trace - 6:27:07 AM] Received response 'textDocument/hover - (2)' in 18ms.
- [Trace - 6:27:13 AM] Sending request 'textDocument/hover - (3)'.
- [Trace - 6:27:13 AM] Received response 'textDocument/hover - (3)' in 17ms.
- [Trace - 6:27:30 AM] Sending request 'proof/goals - (4)'.
- [Trace - 6:27:30 AM] Received response 'proof/goals - (4)' in 95ms.
- [Trace - 6:27:33 AM] Sending request 'proof/goals - (5)'.
- [Trace - 6:27:33 AM] Received response 'proof/goals - (5)' in 25ms.
- [Trace - 6:28:31 AM] Sending request 'proof/goals - (6)'.
- [Trace - 6:28:31 AM] Received response 'proof/goals - (6)' in 30ms.
- [Trace - 6:28:43 AM] Sending request 'proof/goals - (7)'.
- [Trace - 6:28:43 AM] Received response 'proof/goals - (7)' in 41ms.
- [Trace - 6:28:45 AM] Sending request 'proof/goals - (8)'.
- [Trace - 6:28:45 AM] Received response 'proof/goals - (8)' in 108ms.
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement