Yosuke Ito

Thanks for your reply. This phenomenon always happens once I use "I-search" or "I-search backward". I don't do anything special. For example, I open the attached file "syllogism.v" by PG,...

Sorry for inadequate information. - I use "I-search" (I mean isearch-forward) via `C-s`. - I did "proof-assert-next-command-interactive" after "I-search" was over. I mean, I did `C-s`, typed some characters, hit...

I got further information about this phenomenon. If I waited during PG was stuck for 10 minutes, then the proof process proceeded, and I got the following message. > Error:...

Oh... I'm using the usual GNU emacs, which is downloaded from [https://www.gnu.org/software/emacs/](url).

Thanks for your help! I tried the debugger and got the following result on the *Backtrace* frame. > Debugger entered--Lisp error: (dbus-error "Emacs not compiled with dbus support") > signal(dbus-error...

Thanks for your reply. I partly understand what's happening in Emacs. I got this backtrace after pressing `C-g`. Precisely, it took several minutes to get the backtrace after `C-g`. I...

Thanks for your help. I have just sent the bug to [email protected]. This is the first time bug reporting, so I hope I did not make a mistake.

Well, thanks everyone. I am not so familiar with dbus, but is there any way to fix this problem by myself? As it stands, I have to restart Emacs once...

Yes, I did, but unfortunately the situation did not change.

No. Actually, I cannot even get the backtrace now...