error in process filter: proof-shell-process-urgent-message: Wrong number of arguments: #[(str) "rqˆdbˆÂ ˆ cˆn?… )‡" [proof-trace-buffer str newline] 1 ("/home/rafalk/repos/l4.verified/isabelle/contrib/ProofGeneral/generic/pg-response.elc" . 12897)], 3 error in process filter: Wrong number of arguments: #[(str) "rqˆdbˆÂ ˆ cˆn?… )‡" [proof-trace-buffer str newline] 1 ("/home/rafalk/repos/l4.verified/isabelle/contrib/ProofGeneral/generic/pg-response.elc" . 12897)], 3