Jason Gross

4. ``` Debugger entered--Lisp error: (quit) redisplay_internal\ \(C\ function\)() ``` 5. ``` Debugger entered--Lisp error: (quit) redisplay_internal\ \(C\ function\)() ``` 6. (it hung for about a half-a-second to a second...

Oh, yeah, I guess I did. Thanks for pointing that out. Is there a way to bypass this for the current session without editing my `~/.emacs` file.

Hmm, that could work. Set it to true in my `~/.emacs`, and unset it if I want it to be unset.... Re your wondering: No, the problem is that when...

Ah, yes, when I fix #166, and update company-coq for emacs 24, the goal line disappears there, too.

Is there anything I can change locally in my `~/.emacs` to get the goals line back?

``` - command-execute 2637 68% - call-interactively 2637 68% - company-coq-proof-goto-point 854 22% - apply 854 22% - proof-goto-point 854 22% - proof-assert-until-point 854 22% - run-hooks 645 16% -...

Here's the 20s that it takes to execute a `proof-goto-point` of 25 lines of code, and then another `proof-goto-point` that retracts the first one: ``` - timer-event-handler 790 76% -...

This is from after it's been running for a while. I have easy access to a slow one, less easy access to one that's slowing down fast enough. Why is...

Here's a memory profile: Company-coq: ``` - redisplay_internal (C function) 182,751,115 70% - eval 162,578,898 62% - list 160,988,079 61% - company-coq--lighter-string 160,876,783 61% - company-coq--ligther-image 80,480,629 30% company-coq--icon 80,347,282...

Is emacs unhappy with your spinning rooster icon?