proofgeneral-devel  

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