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: (Emilio Jesús Gallego Arias)
  • To: Florent Hivert <>
  • Cc: "ssreflect\@msr-inria.inria.fr" <>
  • Subject: Re: [ssreflect] ProofGeneral and ssreflect bullets
  • Date: Mon, 14 Mar 2016 23:53:45 +0100
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None ; spf=Neutral ; spf=None
  • Ironport-phdr: 9a23:Y4YbWRfBdExzzYx+NLLMAEIglGMj4u6mDksu8pMizoh2WeGdxc6yYB7h7PlgxGXEQZ/co6odzbGG7OaxBydZv8/JmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbvipNuCPU4R2mP1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu3SNp41Rr1ADTkgL3t9pIiy7UGCHkOz4S4yVmIMnxxUSyjE8hzgQt+lnC/9rOd7xG+6PNP7V6wcXS6jqalxHkzGkiACYjMR4DGPzMtqg+objRegox14i6zZexOOfNV3eqfQctRSbHBAV90QBH8JOZ+1c4ZaV7lJBu1ftYSo4gJW9RY=
  • Organization: X80 Heavy Industries
Hi Florent,

Florent Hivert
<>
writes:

> Thanks for your answer. Unfortunately this doesn't fix the problem.

It certainly seems weird, I can't reproduce your problem. Does it
persist with a minimal emacs config?

Maybe we should move the discussion to PG github, are you sure you are
not loading some old version of PG (M-x list-load-path-shadows may
help).

E.

Archive powered by MHonArc 2.6.18.

Top of Page