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: Mon, 14 Mar 2016 23:24:10 +0100
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None ; spf=None ; spf=None
  • Ironport-phdr: 9a23:SzvIvxe7if1w0rNw8H61+EFBlGMj4u6mDksu8pMizoh2WeGdxc6yYR7h7PlgxGXEQZ/co6odzbGG7OaxBydZv8/JmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbvipNuCPU4R2mP1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu2pN5g/GPZDFy4rPWQ479HDsALZCAqJ/HoVFGQQiBtBRQbfplmuRYzrvyX+u+Fh8CyBJ4j3S6o1UHKj6b1qQVnmknFUGSQ+9TT5jstqgaRH6DKguRFl38aAToWSLvd4YuX9fM0XX3ZpWtxQESJbVNDvJ7ATBvYMaL4L57L2oEED+EOz
Hi François,

On Mon, Mar 14, 2016 at 11:12:54PM +0100, François Pottier wrote:
>
> Hi Florent,
>
> Le 14/03/2016 23:06, Florent Hivert a écrit :
> >The problem happens both with ProofGeneral-4.2 or ProofGeneral-4.3pre150930
>
> You should first move to the github version of ProofGeneral, as the versions
> you mention are way outdated. (No, the ProofGeneral web site does not
> mention
> that.) The correct repository seems to be
>
>
> :ProofGeneral/PG.git

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

Florent

Archive powered by MHonArc 2.6.18.

Top of Page