Ticket #322: SC.txt
File SC.txt, 495 bytes (added by , 14 years ago) |
---|
Line | |
---|---|
1 | 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 |
2 | 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 |
3 |