Skip to Content.
Sympa Menu

ssreflect - Re: [ssreflect] ProofGeneral and ssreflect bullets

Subject: Ssreflect Users Discussion List

List archive

Re: [ssreflect] ProofGeneral and ssreflect bullets


Chronological Thread 
  • From: Florent Hivert <>
  • To: "" <>
  • Subject: Re: [ssreflect] ProofGeneral and ssreflect bullets
  • Date: Tue, 15 Mar 2016 00:40:43 +0100
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None ; spf=None ; spf=None
  • Ironport-phdr: 9a23:lHChShVoJhBflR265kE6Ksd4GmzV8LGtZVwlr6E/grcLSJyIuqrYZhyEt8tkgFKBZ4jH8fUM07OQ6PC/Hz1fqs7f+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq8KVMloD3GT1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu2pN5g/GPZDFy4rPWQ479HDsALZCAqJ/HoVFGQQiBtBRQbfplmuRYzrvyX+u+Fh8CyBJ4j3S6o1UHKj6b1qQVnmknFUGSQ+9TT5jstqgaRH6DKguRFl38aAToWSLvd4YuX9fM0XX3ZpWtxQESJbVNDvJ7ATBvYMaL4L57L2oEED+EOz
On Tue, Mar 15, 2016 at 12:19:51AM +0100, Florent Hivert wrote:
> Dear Emilio,
>
> On Mon, Mar 14, 2016 at 11:53:45PM +0100, Emilio Jesús Gallego Arias wrote:
> > It certainly seems weird, I can't reproduce your problem. Does it
> > persist with a minimal emacs config?
>
> No it doesn't. So there is something weird with my config. Thanks for the
> suggestion and sorry for asking stupid question.

I got it. The culprits was the line

'(coq-time-commands t)

In my .gnu-emacs-custom

Can someone confirm this behavior. If so, I'm filing a bug report to PG.

Sorry for the noise.

Florent

Archive powered by MHonArc 2.6.18.

Top of Page