proofgeneral-devel
Thread
Date
Earlier messages
Messages by Date
2022/06/15
[PG-devel] Fwd: Shutdown of proofgeneral and proofgeneral-devel lists
David Aspinall
2022/06/15
[PG-devel] Shutdown of proofgeneral and proofgeneral-devel lists
David Aspinall
2019/04/30
Re: [PG-devel] SerAPI
Emilio Jesús Gallego Arias
2019/04/30
Re: [PG-devel] SerAPI
Clément Pit-Claudel
2019/04/30
Re: [PG-devel] SerAPI
Emilio Jesús Gallego Arias
2019/04/30
Re: [PG-devel] SerAPI
Clément Pit-Claudel
2019/04/30
Re: [PG-devel] SerAPI
Emilio Jesús Gallego Arias
2019/04/30
Re: [PG-devel] SerAPI
Clément Pit-Claudel
2019/04/30
Re: [PG-devel] SerAPI
Emilio Jesús Gallego Arias
2019/04/30
Re: [PG-devel] SerAPI
Emilio Jesús Gallego Arias
2019/04/29
Re: [PG-devel] SerAPI
Clément Pit-Claudel
2019/04/29
Re: [PG-devel] SerAPI
Emilio Jesús Gallego Arias
2018/12/20
Re: [PG-devel] Use cl-lib instead of cl
Stefan Monnier
2018/12/18
Re: [PG-devel] Use cl-lib instead of cl
Clément Pit-Claudel
2018/12/18
Re: [PG-devel] Use cl-lib instead of cl
Pierre Courtieu
2018/12/18
Re: [PG-devel] Use cl-lib instead of cl
Stefan Monnier
2018/12/18
Re: [PG-devel] Use cl-lib instead of cl
Pierre Courtieu
2018/12/18
Re: [PG-devel] Use cl-lib instead of cl
Stefan Monnier
2018/12/16
Re: [PG-devel] Use cl-lib instead of cl
Pierre Courtieu
2018/12/15
Re: [PG-devel] Use cl-lib instead of cl
Clément Pit-Claudel
2018/12/15
Re: [PG-devel] Use cl-lib instead of cl
Stefan Monnier
2018/12/13
Re: [PG-devel] Use cl-lib instead of cl
Clément Pit-Claudel
2018/12/13
Re: [PG-devel] Use cl-lib instead of cl
Stefan Monnier
2018/12/13
Re: [PG-devel] Use cl-lib instead of cl (was: Supported version of Emacs)
Clément Pit-Claudel
2018/12/12
[PG-devel] Use cl-lib instead of cl (was: Supported version of Emacs)
Stefan Monnier
2018/12/12
Re: [PG-devel] Supported version of Emacs
Clément Pit-Claudel
2018/12/11
Re: [PG-devel] Supported version of Emacs
Stefan Monnier
2018/12/11
Re: [PG-devel] Supported version of Emacs
Clément Pit-Claudel
2018/12/11
Re: [PG-devel] Supported version of Emacs
Stefan Monnier
2018/12/03
Re: [PG-devel] Indentation tests
Stefan Monnier
2018/12/03
Re: [PG-devel] Supported version of Emacs
Clément Pit-Claudel
2018/12/03
Re: [PG-devel] Supported version of Emacs
Emilio Jesús Gallego Arias
2018/12/03
Re: [PG-devel] Supported version of Emacs
Emilio Jesús Gallego Arias
2018/12/03
Re: [PG-devel] Supported version of Emacs
Clément Pit-Claudel
2018/12/03
Re: [PG-devel] Supported version of Emacs
Emilio Jesús Gallego Arias
2018/12/03
Re: [PG-devel] Supported version of Emacs
Clément Pit-Claudel
2018/12/03
Re: [PG-devel] Supported version of Emacs
Emilio Jesús Gallego Arias
2018/12/03
Re: [PG-devel] Supported version of Emacs
Pierre Courtieu
2018/12/03
Re: [PG-devel] Supported version of Emacs
Emilio Jesús Gallego Arias
2018/12/03
Re: [PG-devel] Supported version of Emacs
Pierre Courtieu
2018/12/03
Re: [PG-devel] Supported version of Emacs
Emilio Jesús Gallego Arias
2018/12/03
Re: [PG-devel] Supported version of Emacs
Pierre Courtieu
2018/12/01
Re: [PG-devel] Supported version of Emacs
Emilio Jesús Gallego Arias
2018/12/01
Re: [PG-devel] Supported version of Emacs
Emilio Jesús Gallego Arias
2018/12/01
Re: [PG-devel] Indentation tests
Clément Pit-Claudel
2018/12/01
Re: [PG-devel] Indentation tests
Pierre Courtieu
2018/12/01
[PG-devel] Indentation tests
Stefan Monnier
2018/12/01
Re: [PG-devel] Supported version of Emacs
Pierre Courtieu
2018/12/01
Re: [PG-devel] Supported version of Emacs
Pierre Courtieu
2018/11/30
Re: [PG-devel] Supported version of Emacs
Stefan Monnier
2018/11/30
Re: [PG-devel] SerAPI
Emilio Jesús Gallego Arias
2018/11/30
Re: [PG-devel] Supported version of Emacs
Emilio Jesús Gallego Arias
2018/11/30
Re: [PG-devel] SerAPI
Emilio Jesús Gallego Arias
2018/11/30
Re: [PG-devel] Supported version of Emacs
Emilio Jesús Gallego Arias
2018/11/30
Re: [PG-devel] SerAPI
Clément Pit-Claudel
2018/11/30
[PG-devel] SerAPI
Stefan Monnier
2018/11/30
Re: [PG-devel] Supported version of Emacs
Stefan Monnier
2018/11/30
Re: [PG-devel] Supported version of Emacs
Pierre Courtieu
2018/11/29
Re: [PG-devel] Supported version of Emacs
Emilio Jesús Gallego Arias
2018/11/29
Re: [PG-devel] Supported version of Emacs
Clément Pit-Claudel
2018/11/29
Re: [PG-devel] Supported version of Emacs
Emilio Jesús Gallego Arias
2018/11/29
Re: [PG-devel] Supported version of Emacs
Paul A. Steckler
2018/11/29
Re: [PG-devel] Supported version of Emacs
Emilio Jesús Gallego Arias
2018/11/29
Re: [PG-devel] Supported version of Emacs
Emilio Jesús Gallego Arias
2018/11/29
Re: [PG-devel] Supported version of Emacs
Paul A. Steckler
2018/11/29
Re: [PG-devel] Supported version of Emacs
Clément Pit-Claudel
2018/11/29
Re: [PG-devel] Supported version of Emacs
Emilio Jesús Gallego Arias
2018/11/29
Re: [PG-devel] Supported version of Emacs
Emilio Jesús Gallego Arias
2018/11/29
Re: [PG-devel] Supported version of Emacs
Stefan Monnier
2018/11/29
Re: [PG-devel] Supported version of Emacs
Paul A. Steckler
2018/11/29
Re: [PG-devel] Supported version of Emacs
Clément Pit-Claudel
2018/11/29
Re: [PG-devel] Supported version of Emacs
Clément Pit-Claudel
2018/11/29
Re: [PG-devel] Supported version of Emacs
Emilio Jesús Gallego Arias
2018/11/29
Re: [PG-devel] Supported version of Emacs
Erik Martin-Dorel
2018/11/29
Re: [PG-devel] Supported version of Emacs
Pierre Courtieu
2018/11/29
Re: [PG-devel] Supported version of Emacs
Clément Pit-Claudel
2018/11/29
Re: [PG-devel] Supported version of Emacs
Erik Martin-Dorel
2018/11/29
Re: [PG-devel] Supported version of Emacs
Pierre Courtieu
2018/11/28
Re: [PG-devel] Supported version of Emacs
Stefan Monnier
2018/11/28
[PG-devel] Fwd: Re: Supported version of Emacs
Erik Martin-Dorel
2018/11/28
[PG-devel] Supported version of Emacs
Stefan Monnier
2018/04/11
Re: [PG-devel] Proof General's ability to interpret ANSI escape code from a proof assistant
Emilio Jesús Gallego Arias
2018/03/02
Re: [PG-devel] On-going migration of issues from PG/xml repo to the main ProofGeneral repo
Erik Martin-Dorel
2018/03/02
Re: [PG-devel] On-going migration of issues from PG/xml repo to the main ProofGeneral repo
Erik Martin-Dorel
2018/02/28
[PG-devel] On-going migration of issues from PG/xml repo to the main ProofGeneral repo
Erik Martin-Dorel
2018/01/24
Re: [PG-devel] Proof General's ability to interpret ANSI escape code from a proof assistant
Pierre Courtieu
2018/01/24
Re: [PG-devel] Proof General's ability to interpret ANSI escape code from a proof assistant
Clément Pit-Claudel
2018/01/24
Re: [PG-devel] Proof General's ability to interpret ANSI escape code from a proof assistant
Stefan Monnier
2018/01/23
[PG-devel] Proof General's ability to interpret ANSI escape code from a proof assistant
Jim Fehrle
2017/02/24
Re: [PG-devel] pg-set-span-helphighlights
Pierre Courtieu
2017/02/24
Re: [PG-devel] pg-set-span-helphighlights
Paul A. Steckler
2017/02/24
Re: [PG-devel] pg-set-span-helphighlights
Paul A. Steckler
2017/02/24
Re: [PG-devel] pg-set-span-helphighlights
Clément Pit--Claudel
2017/02/24
Re: [PG-devel] pg-set-span-helphighlights
Paul A. Steckler
2017/02/24
Re: [PG-devel] pg-set-span-helphighlights
Paul A. Steckler
2017/02/24
Re: [PG-devel] pg-set-span-helphighlights
Clément Pit--Claudel
2017/02/24
Re: [PG-devel] pg-set-span-helphighlights
Paul A. Steckler
2017/02/24
Re: [PG-devel] pg-set-span-helphighlights
Pierre Courtieu
2017/02/23
Re: [PG-devel] pg-set-span-helphighlights
Clément Pit--Claudel
2017/02/23
[PG-devel] pg-set-span-helphighlights
Paul A. Steckler
2017/02/03
[PG-devel] Setting to lock buffer?
Paul A. Steckler
2017/02/02
Re: [PG-devel] Trace, thms buffers
Pierre Courtieu
2017/02/01
[PG-devel] Trace, thms buffers
Paul A. Steckler
2017/01/08
Re: [PG-devel] -quick
Stefan Monnier
2017/01/08
Re: [PG-devel] -quick
Ralf Jung
2017/01/08
Re: [PG-devel] -quick
Hendrik Tews
2017/01/08
Re: [PG-devel] -quick
Ralf Jung
2017/01/08
Re: [PG-devel] -quick
Hendrik Tews
2017/01/07
Re: [PG-devel] -quick
Ralf Jung
2017/01/06
Re: [PG-devel] -quick
Clément Pit--Claudel
2017/01/06
Re: [PG-devel] -quick
Hendrik Tews
2017/01/06
Re: [PG-devel] -quick
Ralf Jung
2017/01/06
Re: [PG-devel] -quick
Hendrik Tews
2017/01/06
Re: [PG-devel] -quick
Hendrik Tews
2017/01/06
Re: [PG-devel] -quick
Ralf Jung
2017/01/06
Re: [PG-devel] -quick
Ralf Jung
2017/01/06
Re: [PG-devel] -quick
Ralf Jung
2017/01/06
Re: [PG-devel] -quick
Hendrik Tews
2017/01/06
Re: [PG-devel] -quick
Clément Pit--Claudel
2017/01/06
Re: [PG-devel] -quick
Ralf Jung
2017/01/06
Re: [PG-devel] -quick
Ralf Jung
2016/11/16
Re: [PG-devel] -quick
Clément Pit--Claudel
2016/11/16
[PG-devel] -quick
Hendrik Tews
2016/11/01
Re: [PG-devel] vio compilation options
Jason Gross
2016/10/28
Re: [PG-devel] future of coq-seq-compile.el
Hendrik Tews
2016/10/28
[PG-devel] vio compilation options
Hendrik Tews
2016/10/28
[PG-devel] future of coq-seq-compile.el
Hendrik Tews
2016/08/09
Re: [PG-devel] State button for Coq, needed?
Paul A. Steckler
2016/08/09
Re: [PG-devel] State button for Coq, needed?
Hendrik Tews
2016/08/08
Re: [PG-devel] State button for Coq, needed?
Paul A. Steckler
2016/08/08
Re: [PG-devel] State button for Coq, needed?
Clément Pit--Claudel
2016/08/08
[PG-devel] State button for Coq, needed?
Paul A. Steckler
2016/07/27
Re: [PG-devel] Status of PGIP?
Clément Pit--Claudel
2016/07/27
Re: [PG-devel] Status of PGIP?
David Aspinall
2016/07/26
[PG-devel] Status of PGIP?
Paul A. Steckler
2016/07/26
Re: [PG-devel] An update on porting PG to Coq 8.5's new APIs
Paul A. Steckler
2016/07/09
Re: [PG-devel] Span (overlay) structure in PG
Clément Pit--Claudel
2016/07/09
Re: [PG-devel] Span (overlay) structure in PG
Paul A. Steckler
2016/07/08
Re: [PG-devel] Span (overlay) structure in PG
Clément Pit--Claudel
2016/07/08
Re: [PG-devel] Span (overlay) structure in PG
Paul A. Steckler
2016/07/08
Re: [PG-devel] Span (overlay) structure in PG
Clément Pit--Claudel
2016/07/08
Re: [PG-devel] Span (overlay) structure in PG
Paul A. Steckler
2016/07/08
Re: [PG-devel] Span (overlay) structure in PG
Pierre Courtieu
2016/07/07
Re: [PG-devel] Span (overlay) structure in PG
Paul A. Steckler
2016/07/01
Re: [PG-devel] Span (overlay) structure in PG
Pierre Courtieu
2016/06/30
[PG-devel] Span (overlay) structure in PG
Paul A. Steckler
2016/06/16
Re: [PG-devel] An update on porting PG to Coq 8.5's new APIs
Alan Schmitt
2016/06/16
Re: [PG-devel] An update on porting PG to Coq 8.5's new APIs
Paul A. Steckler
2016/06/16
Re: [PG-devel] An update on porting PG to Coq 8.5's new APIs
Alan Schmitt
2016/06/16
Re: [PG-devel] An update on porting PG to Coq 8.5's new APIs
Clément Pit--Claudel
2016/06/16
Re: [PG-devel] An update on porting PG to Coq 8.5's new APIs
Alan Schmitt
2016/06/15
Re: [PG-devel] An update on porting PG to Coq 8.5's new APIs
Clément Pit--Claudel
2016/06/15
Re: [PG-devel] An update on porting PG to Coq 8.5's new APIs
Makarius
2016/06/15
Re: [PG-devel] An update on porting PG to Coq 8.5's new APIs
Clément Pit--Claudel
2016/06/15
Re: [PG-devel] An update on porting PG to Coq 8.5's new APIs
Clément Pit--Claudel
2016/06/15
Re: [PG-devel] An update on porting PG to Coq 8.5's new APIs
Makarius
2016/06/15
Re: [PG-devel] An update on porting PG to Coq 8.5's new APIs
Clément Pit--Claudel
2016/06/15
Re: [PG-devel] An update on porting PG to Coq 8.5's new APIs
Stefan Monnier
2016/06/15
Re: [PG-devel] An update on porting PG to Coq 8.5's new APIs
Makarius
2016/06/15
[PG-devel] An update on porting PG to Coq 8.5's new APIs
Clément Pit--Claudel
2016/06/11
Re: [PG-devel] PG and Coq ideslave mode
Paul A. Steckler
2016/06/11
Re: [PG-devel] PG and Coq ideslave mode
Clément Pit--Claudel
2016/06/11
Re: [PG-devel] PG and Coq ideslave mode
Makarius
2016/06/11
Re: [PG-devel] PG and Coq ideslave mode
Paul A. Steckler
2016/06/11
Re: [PG-devel] PG and Coq ideslave mode
Clément Pit--Claudel
2016/06/11
Re: [PG-devel] PG and Coq ideslave mode
Paul A. Steckler
2016/06/11
Re: [PG-devel] PG and Coq ideslave mode
Clément Pit--Claudel
2016/05/26
Re: [PG-devel] Coq search blacklist
Clément Pit--Claudel
2016/05/26
[PG-devel] Coq search blacklist
Paul A. Steckler
2016/05/13
Re: [PG-devel] Proof tree code
Paul A. Steckler
2016/05/13
Re: [PG-devel] Proof tree code
Pierre Courtieu
2016/05/13
Re: [PG-devel] Proof tree code
Hendrik Tews
2016/05/12
Re: [PG-devel] Coupling of items queue and proof shell
Pierre Courtieu
2016/05/12
Re: [PG-devel] Proof tree code
Clément Pit--Claudel
2016/05/12
Re: [PG-devel] Coupling of items queue and proof shell
Paul A. Steckler
2016/05/12
Re: [PG-devel] Proof tree code
Pierre Courtieu
2016/05/12
Re: [PG-devel] Coupling of items queue and proof shell
Pierre Courtieu
2016/05/12
[PG-devel] Proof tree code
Paul A. Steckler
2016/05/12
[PG-devel] Coupling of items queue and proof shell
Paul A. Steckler
2016/05/11
Re: [PG-devel] Using sockets instead of shell
Paul A. Steckler
2016/05/11
Re: [PG-devel] Using sockets instead of shell
Clément Pit--Claudel
2016/05/11
Re: [PG-devel] Using sockets instead of shell
Paul A. Steckler
2016/05/11
Re: [PG-devel] Using sockets instead of shell
Paul A. Steckler
2016/05/11
Re: [PG-devel] Using sockets instead of shell
Paul A. Steckler
2016/05/11
Re: [PG-devel] Using sockets instead of shell
Pierre Courtieu
2016/05/11
Re: [PG-devel] Using sockets instead of shell
Clément Pit--Claudel
2016/05/11
Re: [PG-devel] Using sockets instead of shell
Paul A. Steckler
2016/05/11
Re: [PG-devel] Using sockets instead of shell
Pierre Courtieu
2016/05/11
[PG-devel] Using sockets instead of shell
Paul A. Steckler
2016/05/07
Re: [PG-devel] PG and Coq ideslave mode
Clément Pit--Claudel
2016/05/07
Re: [PG-devel] PG and Coq ideslave mode
Paul A. Steckler
2016/05/07
Re: [PG-devel] PG and Coq ideslave mode
Clément Pit--Claudel
2016/05/07
Re: [PG-devel] PG and Coq ideslave mode
Clément Pit--Claudel
2016/05/07
Re: [PG-devel] PG and Coq ideslave mode
Paul A. Steckler
2016/05/07
Re: [PG-devel] PG and Coq ideslave mode
Paul A. Steckler
2016/05/07
Re: [PG-devel] PG and Coq ideslave mode
Clément Pit--Claudel
2016/05/07
Re: [PG-devel] PG and Coq ideslave mode
Clément Pit--Claudel
2016/05/06
Re: [PG-devel] PG and Coq ideslave mode
Paul A. Steckler
2016/05/06
Re: [PG-devel] PG and Coq ideslave mode
David Aspinall
2016/05/06
Re: [PG-devel] PG and Coq ideslave mode
Clément Pit--Claudel
Earlier messages