coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] GitHub's ProofGeneral has old version number

From: Peter Vanderbilt <acm AT petervanderbilt.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] GitHub's ProofGeneral has old version number
Date: Fri, 12 Feb 2016 16:22:40 -0800
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=acm AT petervanderbilt.com; spf=None smtp.mailfrom=acm AT petervanderbilt.com; spf=None smtp.helo=postmaster AT delivery.mailspamprotection.com
Ironport-phdr: 9a23:vX4Ahh2tFM20aCe4smDT+DRfVm0co7zxezQtwd8ZsegSKfad9pjvdHbS+e9qxAeQG96LtLQf1KGN7+jJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6NyZ/onLvus7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cY6Lod8JtLVry/dKAlR5RZCi4nOiY7/p7Frx7GGDOC+nYGGlsflBZFGQLE6A2yCp76twPiu/ZwwjeTO8H7V7o1XSjk5KBuHky7wBwbPiI0pTmEwvd7i7hW9Uqs

Clément and others,

One small issue with https://github.com/ProofGeneral/PG: in generic/proof-site.el, the “proof-general-version” constant contains “4.3pre150313” instead of 4.4-something.

Pete

[Coq-Club] why does coq_makefile in 8.5 add "-R . Top", Peter Vanderbilt, 02/09/2016
- Re: [Coq-Club] why does coq_makefile in 8.5 add "-R . Top", Frédéric Blanqui, 02/10/2016
  - Re: [Coq-Club] why does coq_makefile in 8.5 add "-R . Top", Clément Pit--Claudel, 02/10/2016
    - Re: [Coq-Club] why does coq_makefile in 8.5 add "-R . Top", Peter Vanderbilt, 02/10/2016
      - Re: [Coq-Club] why does coq_makefile in 8.5 add "-R . Top", Clément Pit--Claudel, 02/10/2016
        
        Re: [Coq-Club] why does coq_makefile in 8.5 add "-R . Top", Peter Vanderbilt, 02/12/2016
        
        Re: [Coq-Club] why does coq_makefile in 8.5 add "-R . Top", Clément Pit--Claudel, 02/12/2016
        
        [Coq-Club] GitHub's ProofGeneral has old version number, Peter Vanderbilt, 02/13/2016
        
        Re: [Coq-Club] GitHub's ProofGeneral has old version number, Clément Pit--Claudel, 02/13/2016
      - Re: [Coq-Club] why does coq_makefile in 8.5 add "-R . Top", Tej Chajed, 02/10/2016
        
        Re: [Coq-Club] why does coq_makefile in 8.5 add "-R . Top", Peter Vanderbilt, 02/12/2016
- Re: [Coq-Club] why does coq_makefile in 8.5 add "-R . Top", Christian Doczkal, 02/10/2016