proofgeneral-devel
Thread
Date
Earlier messages
Messages by Thread
[PG-devel] Fwd: Shutdown of proofgeneral and proofgeneral-devel lists
David Aspinall
[PG-devel] Shutdown of proofgeneral and proofgeneral-devel lists
David Aspinall
[PG-devel] Indentation tests
Stefan Monnier
Re: [PG-devel] Indentation tests
Pierre Courtieu
Re: [PG-devel] Indentation tests
Stefan Monnier
Re: [PG-devel] Indentation tests
Clément Pit-Claudel
[PG-devel] Fwd: Re: Supported version of Emacs
Erik Martin-Dorel
[PG-devel] Supported version of Emacs
Stefan Monnier
Re: [PG-devel] Supported version of Emacs
Stefan Monnier
Re: [PG-devel] Supported version of Emacs
Pierre Courtieu
Re: [PG-devel] Supported version of Emacs
Erik Martin-Dorel
Re: [PG-devel] Supported version of Emacs
Clément Pit-Claudel
Re: [PG-devel] Supported version of Emacs
Pierre Courtieu
Re: [PG-devel] Supported version of Emacs
Erik Martin-Dorel
Re: [PG-devel] Supported version of Emacs
Clément Pit-Claudel
Re: [PG-devel] Supported version of Emacs
Emilio Jesús Gallego Arias
Re: [PG-devel] Supported version of Emacs
Clément Pit-Claudel
Re: [PG-devel] Supported version of Emacs
Emilio Jesús Gallego Arias
Re: [PG-devel] Supported version of Emacs
Clément Pit-Claudel
Re: [PG-devel] Supported version of Emacs
Emilio Jesús Gallego Arias
Re: [PG-devel] Supported version of Emacs
Stefan Monnier
Re: [PG-devel] Supported version of Emacs
Emilio Jesús Gallego Arias
Re: [PG-devel] Supported version of Emacs
Stefan Monnier
Re: [PG-devel] Supported version of Emacs
Pierre Courtieu
Re: [PG-devel] Supported version of Emacs
Emilio Jesús Gallego Arias
Re: [PG-devel] Supported version of Emacs
Paul A. Steckler
Re: [PG-devel] Supported version of Emacs
Stefan Monnier
Re: [PG-devel] Supported version of Emacs
Emilio Jesús Gallego Arias
Re: [PG-devel] Supported version of Emacs
Paul A. Steckler
Re: [PG-devel] Supported version of Emacs
Emilio Jesús Gallego Arias
Re: [PG-devel] Supported version of Emacs
Paul A. Steckler
Re: [PG-devel] Supported version of Emacs
Emilio Jesús Gallego Arias
Re: [PG-devel] Supported version of Emacs
Clément Pit-Claudel
Re: [PG-devel] Supported version of Emacs
Emilio Jesús Gallego Arias
Re: [PG-devel] Supported version of Emacs
Pierre Courtieu
Re: [PG-devel] Supported version of Emacs
Emilio Jesús Gallego Arias
Re: [PG-devel] Supported version of Emacs
Pierre Courtieu
Re: [PG-devel] Supported version of Emacs
Emilio Jesús Gallego Arias
Re: [PG-devel] Supported version of Emacs
Pierre Courtieu
Re: [PG-devel] Supported version of Emacs
Emilio Jesús Gallego Arias
Re: [PG-devel] Supported version of Emacs
Pierre Courtieu
Re: [PG-devel] Supported version of Emacs
Emilio Jesús Gallego Arias
Re: [PG-devel] Supported version of Emacs
Pierre Courtieu
Re: [PG-devel] Supported version of Emacs
Emilio Jesús Gallego Arias
Re: [PG-devel] Supported version of Emacs
Clément Pit-Claudel
Re: [PG-devel] Supported version of Emacs
Emilio Jesús Gallego Arias
Re: [PG-devel] Supported version of Emacs
Clément Pit-Claudel
Re: [PG-devel] Supported version of Emacs
Emilio Jesús Gallego Arias
Re: [PG-devel] Supported version of Emacs
Emilio Jesús Gallego Arias
Re: [PG-devel] Supported version of Emacs
Clément Pit-Claudel
[PG-devel] SerAPI
Stefan Monnier
Re: [PG-devel] SerAPI
Clément Pit-Claudel
Re: [PG-devel] SerAPI
Emilio Jesús Gallego Arias
Re: [PG-devel] SerAPI
Emilio Jesús Gallego Arias
Re: [PG-devel] SerAPI
Emilio Jesús Gallego Arias
Re: [PG-devel] SerAPI
Clément Pit-Claudel
Re: [PG-devel] SerAPI
Emilio Jesús Gallego Arias
Re: [PG-devel] SerAPI
Emilio Jesús Gallego Arias
Re: [PG-devel] SerAPI
Clément Pit-Claudel
Re: [PG-devel] SerAPI
Emilio Jesús Gallego Arias
Re: [PG-devel] SerAPI
Clément Pit-Claudel
Re: [PG-devel] SerAPI
Emilio Jesús Gallego Arias
Re: [PG-devel] SerAPI
Clément Pit-Claudel
Re: [PG-devel] SerAPI
Emilio Jesús Gallego Arias
Re: [PG-devel] Supported version of Emacs
Stefan Monnier
Re: [PG-devel] Supported version of Emacs
Clément Pit-Claudel
Re: [PG-devel] Supported version of Emacs
Stefan Monnier
Re: [PG-devel] Supported version of Emacs
Clément Pit-Claudel
[PG-devel] Use cl-lib instead of cl (was: Supported version of Emacs)
Stefan Monnier
Re: [PG-devel] Use cl-lib instead of cl (was: Supported version of Emacs)
Clément Pit-Claudel
Re: [PG-devel] Use cl-lib instead of cl
Stefan Monnier
Re: [PG-devel] Use cl-lib instead of cl
Clément Pit-Claudel
Re: [PG-devel] Use cl-lib instead of cl
Stefan Monnier
Re: [PG-devel] Use cl-lib instead of cl
Clément Pit-Claudel
Re: [PG-devel] Use cl-lib instead of cl
Pierre Courtieu
Re: [PG-devel] Use cl-lib instead of cl
Stefan Monnier
Re: [PG-devel] Use cl-lib instead of cl
Pierre Courtieu
Re: [PG-devel] Use cl-lib instead of cl
Stefan Monnier
Re: [PG-devel] Use cl-lib instead of cl
Pierre Courtieu
Re: [PG-devel] Use cl-lib instead of cl
Clément Pit-Claudel
Re: [PG-devel] Use cl-lib instead of cl
Stefan Monnier
[PG-devel] On-going migration of issues from PG/xml repo to the main ProofGeneral repo
Erik Martin-Dorel
Re: [PG-devel] On-going migration of issues from PG/xml repo to the main ProofGeneral repo
Erik Martin-Dorel
Re: [PG-devel] On-going migration of issues from PG/xml repo to the main ProofGeneral repo
Erik Martin-Dorel
[PG-devel] Proof General's ability to interpret ANSI escape code from a proof assistant
Jim Fehrle
Re: [PG-devel] Proof General's ability to interpret ANSI escape code from a proof assistant
Stefan Monnier
Re: [PG-devel] Proof General's ability to interpret ANSI escape code from a proof assistant
Clément Pit-Claudel
Re: [PG-devel] Proof General's ability to interpret ANSI escape code from a proof assistant
Pierre Courtieu
Re: [PG-devel] Proof General's ability to interpret ANSI escape code from a proof assistant
Emilio Jesús Gallego Arias
[PG-devel] pg-set-span-helphighlights
Paul A. Steckler
Re: [PG-devel] pg-set-span-helphighlights
Clément Pit--Claudel
Re: [PG-devel] pg-set-span-helphighlights
Pierre Courtieu
Re: [PG-devel] pg-set-span-helphighlights
Paul A. Steckler
Re: [PG-devel] pg-set-span-helphighlights
Clément Pit--Claudel
Re: [PG-devel] pg-set-span-helphighlights
Paul A. Steckler
Re: [PG-devel] pg-set-span-helphighlights
Paul A. Steckler
Re: [PG-devel] pg-set-span-helphighlights
Clément Pit--Claudel
Re: [PG-devel] pg-set-span-helphighlights
Paul A. Steckler
Re: [PG-devel] pg-set-span-helphighlights
Paul A. Steckler
Re: [PG-devel] pg-set-span-helphighlights
Pierre Courtieu
[PG-devel] Setting to lock buffer?
Paul A. Steckler
[PG-devel] Trace, thms buffers
Paul A. Steckler
Re: [PG-devel] Trace, thms buffers
Pierre Courtieu
[PG-devel] -quick
Hendrik Tews
Re: [PG-devel] -quick
Clément Pit--Claudel
Re: [PG-devel] -quick
Ralf Jung
Re: [PG-devel] -quick
Clément Pit--Claudel
Re: [PG-devel] -quick
Ralf Jung
Re: [PG-devel] -quick
Hendrik Tews
Re: [PG-devel] -quick
Ralf Jung
Re: [PG-devel] -quick
Ralf Jung
Re: [PG-devel] -quick
Ralf Jung
Re: [PG-devel] -quick
Hendrik Tews
Re: [PG-devel] -quick
Ralf Jung
Re: [PG-devel] -quick
Hendrik Tews
Re: [PG-devel] -quick
Ralf Jung
Re: [PG-devel] -quick
Hendrik Tews
Re: [PG-devel] -quick
Ralf Jung
Re: [PG-devel] -quick
Hendrik Tews
Re: [PG-devel] -quick
Ralf Jung
Re: [PG-devel] -quick
Stefan Monnier
Re: [PG-devel] -quick
Clément Pit--Claudel
Re: [PG-devel] -quick
Hendrik Tews
[PG-devel] vio compilation options
Hendrik Tews
Re: [PG-devel] vio compilation options
Jason Gross
[PG-devel] future of coq-seq-compile.el
Hendrik Tews
Re: [PG-devel] future of coq-seq-compile.el
Hendrik Tews
[PG-devel] State button for Coq, needed?
Paul A. Steckler
Re: [PG-devel] State button for Coq, needed?
Clément Pit--Claudel
Re: [PG-devel] State button for Coq, needed?
Paul A. Steckler
Re: [PG-devel] State button for Coq, needed?
Hendrik Tews
Re: [PG-devel] State button for Coq, needed?
Paul A. Steckler
[PG-devel] Status of PGIP?
Paul A. Steckler
Re: [PG-devel] Status of PGIP?
David Aspinall
Re: [PG-devel] Status of PGIP?
Clément Pit--Claudel
[PG-devel] Span (overlay) structure in PG
Paul A. Steckler
Re: [PG-devel] Span (overlay) structure in PG
Pierre Courtieu
Re: [PG-devel] Span (overlay) structure in PG
Paul A. Steckler
Re: [PG-devel] Span (overlay) structure in PG
Pierre Courtieu
Re: [PG-devel] Span (overlay) structure in PG
Paul A. Steckler
Re: [PG-devel] Span (overlay) structure in PG
Clément Pit--Claudel
Re: [PG-devel] Span (overlay) structure in PG
Paul A. Steckler
Re: [PG-devel] Span (overlay) structure in PG
Clément Pit--Claudel
Re: [PG-devel] Span (overlay) structure in PG
Paul A. Steckler
Re: [PG-devel] Span (overlay) structure in PG
Clément Pit--Claudel
[PG-devel] An update on porting PG to Coq 8.5's new APIs
Clément Pit--Claudel
Re: [PG-devel] An update on porting PG to Coq 8.5's new APIs
Makarius
Re: [PG-devel] An update on porting PG to Coq 8.5's new APIs
Stefan Monnier
Re: [PG-devel] An update on porting PG to Coq 8.5's new APIs
Makarius
Re: [PG-devel] An update on porting PG to Coq 8.5's new APIs
Clément Pit--Claudel
Re: [PG-devel] An update on porting PG to Coq 8.5's new APIs
Makarius
Re: [PG-devel] An update on porting PG to Coq 8.5's new APIs
Clément Pit--Claudel
Re: [PG-devel] An update on porting PG to Coq 8.5's new APIs
Clément Pit--Claudel
Re: [PG-devel] An update on porting PG to Coq 8.5's new APIs
Clément Pit--Claudel
Re: [PG-devel] An update on porting PG to Coq 8.5's new APIs
Alan Schmitt
Re: [PG-devel] An update on porting PG to Coq 8.5's new APIs
Clément Pit--Claudel
Re: [PG-devel] An update on porting PG to Coq 8.5's new APIs
Alan Schmitt
Re: [PG-devel] An update on porting PG to Coq 8.5's new APIs
Paul A. Steckler
Re: [PG-devel] An update on porting PG to Coq 8.5's new APIs
Alan Schmitt
Re: [PG-devel] An update on porting PG to Coq 8.5's new APIs
Paul A. Steckler
[PG-devel] Coq search blacklist
Paul A. Steckler
Re: [PG-devel] Coq search blacklist
Clément Pit--Claudel
[PG-devel] Proof tree code
Paul A. Steckler
Re: [PG-devel] Proof tree code
Pierre Courtieu
Re: [PG-devel] Proof tree code
Clément Pit--Claudel
Re: [PG-devel] Proof tree code
Hendrik Tews
Re: [PG-devel] Proof tree code
Pierre Courtieu
Re: [PG-devel] Proof tree code
Paul A. Steckler
[PG-devel] Coupling of items queue and proof shell
Paul A. Steckler
Re: [PG-devel] Coupling of items queue and proof shell
Pierre Courtieu
Re: [PG-devel] Coupling of items queue and proof shell
Paul A. Steckler
Re: [PG-devel] Coupling of items queue and proof shell
Pierre Courtieu
[PG-devel] Using sockets instead of shell
Paul A. Steckler
Re: [PG-devel] Using sockets instead of shell
Pierre Courtieu
Re: [PG-devel] Using sockets instead of shell
Paul A. Steckler
Re: [PG-devel] Using sockets instead of shell
Clément Pit--Claudel
Re: [PG-devel] Using sockets instead of shell
Pierre Courtieu
Re: [PG-devel] Using sockets instead of shell
Paul A. Steckler
Re: [PG-devel] Using sockets instead of shell
Paul A. Steckler
Re: [PG-devel] Using sockets instead of shell
Paul A. Steckler
Re: [PG-devel] Using sockets instead of shell
Clément Pit--Claudel
Re: [PG-devel] Using sockets instead of shell
Paul A. Steckler
[PG-devel] Last Call for Papers: Workshop on User Interfaces for Theorem Provers (UITP 2016 @ IJCAR), Coimbra, Portugal, Deadline May 17th *NEW* (was May 9th, 2016)
David Aspinall
[PG-devel] PG and Coq ideslave mode
Paul A. Steckler
Re: [PG-devel] PG and Coq ideslave mode
Clément Pit--Claudel
Re: [PG-devel] PG and Coq ideslave mode
Clément Pit--Claudel
Re: [PG-devel] PG and Coq ideslave mode
Paul A. Steckler
Re: [PG-devel] PG and Coq ideslave mode
Clément Pit--Claudel
Re: [PG-devel] PG and Coq ideslave mode
Paul A. Steckler
Re: [PG-devel] PG and Coq ideslave mode
Clément Pit--Claudel
Re: [PG-devel] PG and Coq ideslave mode
Pierre Courtieu
Re: [PG-devel] PG and Coq ideslave mode
Paul A. Steckler
Re: [PG-devel] PG and Coq ideslave mode
David Aspinall
Re: [PG-devel] PG and Coq ideslave mode
Paul A. Steckler
Re: [PG-devel] PG and Coq ideslave mode
Clément Pit--Claudel
Re: [PG-devel] PG and Coq ideslave mode
David Aspinall
Re: [PG-devel] PG and Coq ideslave mode
Paul A. Steckler
Re: [PG-devel] PG and Coq ideslave mode
Clément Pit--Claudel
Re: [PG-devel] PG and Coq ideslave mode
Clément Pit--Claudel
Re: [PG-devel] PG and Coq ideslave mode
Paul A. Steckler
Earlier messages