proofgeneral-devel  

Messages by Date

• 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 Paul A. Steckler
• 2016/05/06 [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
• 2016/05/05 Re: [PG-devel] PG and Coq ideslave mode Pierre Courtieu
• 2016/05/05 Re: [PG-devel] PG and Coq ideslave mode Clément Pit--Claudel
• 2016/05/05 Re: [PG-devel] PG and Coq ideslave mode Paul A. Steckler
• 2016/05/05 Re: [PG-devel] PG and Coq ideslave mode Clément Pit--Claudel
• 2016/05/05 Re: [PG-devel] PG and Coq ideslave mode Clément Pit--Claudel
• 2016/05/05 Re: [PG-devel] PG and Coq ideslave mode Paul A. Steckler
• 2016/05/05 Re: [PG-devel] PG and Coq ideslave mode Paul A. Steckler
• 2016/05/05 Re: [PG-devel] PG and Coq ideslave mode Clément Pit--Claudel
• 2016/05/05 Re: [PG-devel] PG and Coq ideslave mode Clément Pit--Claudel
• 2016/05/05 [PG-devel] PG and Coq ideslave mode Paul A. Steckler
• 2016/01/26 Re: [PG-devel] Moving to ELPA! Hendrik Tews
• 2016/01/24 Re: [PG-devel] Moving to ELPA! Andreas Röhler
• 2016/01/19 [PG-devel] Moving to ELPA! Clément Pit--Claudel
• 2015/09/21 Re: [PG-devel] Migrating Proof-General to Git Erik Martin-Dorel
• 2015/09/18 [PG-devel] Bug-reports Andreas Röhler
• 2015/09/18 Re: [PG-devel] Migrating Proof-General to Git Clément Pit--Claudel
• 2015/09/18 Re: [PG-devel] Migrating Proof-General to Git David Aspinall
• 2015/09/18 Re: [PG-devel] Migrating Proof-General to Git Erik Martin-Dorel
• 2015/09/18 Re: [PG-devel] Migrating Proof-General to Git David Aspinall
• 2015/09/14 Re: [PG-devel] Migrating Proof-General to Git Clément Pit--Claudel
• 2015/07/24 Re: [PG-devel] current repo Stefan Monnier
• 2015/07/24 [PG-devel] current repo Andreas Röhler
• 2015/04/28 Re: [PG-devel] Migrating Proof-General to Git Clément Pit--Claudel
• 2015/04/28 Re: [PG-devel] Migrating Proof-General to Git David Aspinall
• 2015/04/25 Re: [PG-devel] Migrating Proof-General to Git Clément Pit--Claudel
• 2015/04/25 [PG-devel] Closing outdated tickets Clément Pit--Claudel
• 2015/04/21 Re: [PG-devel] Isabelle2015 NEWS: Support for Proof General and Isar TTY loop has been discontinued Andreas Röhler
• 2015/04/21 Re: [PG-devel] Isabelle2015 NEWS: Support for Proof General and Isar TTY loop has been discontinued Makarius
• 2015/04/21 Re: [PG-devel] Isabelle2015 NEWS: Support for Proof General and Isar TTY loop has been discontinued Andreas Röhler
• 2015/04/21 Re: [PG-devel] Isabelle2015 NEWS: Support for Proof General and Isar TTY loop has been discontinued Makarius
• 2015/04/21 Re: [PG-devel] Isabelle2015 NEWS: Support for Proof General and Isar TTY loop has been discontinued Stefan Monnier
• 2015/04/21 [PG-devel] Isabelle2015 NEWS: Support for Proof General and Isar TTY loop has been discontinued Makarius
• 2015/04/21 Re: [PG-devel] Migrating Proof-General to Git Erik Martin-Dorel
• 2015/04/20 Re: [PG-devel] Migrating Proof-General to Git Clément Pit--Claudel
• 2015/04/20 Re: [PG-devel] Migrating Proof-General to Git Clément Pit--Claudel
• 2015/04/20 Re: [PG-devel] Migrating Proof-General to Git Clément Pit--Claudel
• 2015/04/20 Re: [PG-devel] Migrating Proof-General to Git Jason Gross
• 2015/04/20 Re: [PG-devel] Migrating Proof-General to Git David Aspinall
• 2015/04/20 Re: [PG-devel] Migrating Proof-General to Git Hendrik Tews
• 2015/04/20 [PG-devel] Migrating Proof-General to Git Clément Pit--Claudel
• 2013/07/22 Re: [PG-devel] Move to Github Pierre Courtieu
• 2013/07/17 Re: [PG-devel] Ticket #467: vernacular command no longer displays timings Hendrik Tews
• 2013/07/17 Re: [PG-devel] defpacustom project-filename Hendrik Tews
• 2013/07/17 [PG-devel] defpacustom project-filename Hendrik Tews
• 2013/07/11 Re: [PG-devel] Move to Github David Aspinall
• 2013/07/11 Re: [PG-devel] Move to Github Hendrik Tews
• 2013/07/10 Re: [PG-devel] Move to Github Jason Gross
• 2013/07/10 Re: [PG-devel] Move to Github Pierre Courtieu
• 2013/07/09 Re: [PG-devel] Move to Github Jason Gross
• 2013/07/08 Re: [PG-devel] Move to Github Pierre Courtieu
• 2013/07/07 Re: [PG-devel] Move to Github Hendrik Tews
• 2013/07/05 Re: [PG-devel] Move to Github Jason Gross
• 2013/07/05 Re: [PG-devel] Move to Github Jason Gross
• 2013/07/05 Re: [PG-devel] Move to Github Pierre Courtieu
• 2013/07/05 Re: [PG-devel] Move to Github Pierre Courtieu
• 2013/07/04 Re: [PG-devel] Move to Github Hendrik Tews
• 2013/07/04 Re: [PG-devel] Move to Github Hendrik Tews
• 2013/07/04 Re: [PG-devel] non-fatal warnings for make compile Pierre Courtieu
• 2013/07/04 Re: [PG-devel] non-fatal warnings for make compile David Aspinall
• 2013/07/04 Re: [PG-devel] non-fatal warnings for make compile Hendrik Tews
• 2013/07/04 Re: [PG-devel] non-fatal warnings for make compile Pierre Courtieu
• 2013/07/04 Re: [PG-devel] Move to Github Pierre Courtieu
• 2013/07/04 [PG-devel] Move to Github David Aspinall
• 2013/07/04 Re: [PG-devel] non-fatal warnings for make compile David Aspinall
• 2013/05/27 Re: [PG-devel] ProofGeneral symlink? David Aspinall
• 2013/05/26 Re: [PG-devel] ProofGeneral symlink? Makarius
• 2013/05/26 [PG-devel] ProofGeneral symlink? Hendrik Tews
• 2013/05/22 Re: [PG-devel] non-fatal warnings for make compile David Aspinall
• 2013/05/22 [PG-devel] non-fatal warnings for make compile Hendrik Tews
• 2013/04/19 [PG-devel] Re: Ticket #467: vernacular command no longer displays timings Jason Gross
• 2013/04/19 [PG-devel] Re: Ticket #467: vernacular command no longer displays timings Hendrik Tews
• 2013/04/19 [PG-devel] Re: Ticket #467: vernacular command no longer displays timings Hendrik Tews
• 2013/04/18 [PG-devel] Re: Ticket #467: vernacular command no longer displays timings Jason Gross
• 2013/04/18 [PG-devel] Ticket #467: vernacular command no longer displays timings Hendrik Tews
• 2013/02/27 [PG-devel] Reminder: CICM/MKM deadline nearly here! David Aspinall
• 2013/02/26 Re: [PG-devel] urgent message hide errors? David Aspinall
• 2013/02/26 Re: [PG-devel] status of support for Proof General David Aspinall
• 2013/02/26 [PG-devel] urgent message hide errors? Hendrik Tews
• 2013/02/26 [PG-devel] status of support for Proof General Hendrik Tews
• 2013/01/15 [PG-devel] prooftree users? Hendrik Tews
• 2013/01/15 [PG-devel] make clean deletes backup files Hendrik Tews
• 2013/01/10 Re: [PG-devel] overlapping calls to proof-shell-filter Stefan Monnier
• 2013/01/10 Re: [PG-devel] overlapping calls to proof-shell-filter Hendrik Tews
• 2013/01/10 Re: [PG-devel] overlapping calls to proof-shell-filter Hendrik Tews
• 2013/01/10 Re: [PG-devel] overlapping calls to proof-shell-filter David Aspinall
• 2013/01/10 Re: [PG-devel] overlapping calls to proof-shell-filter Hendrik Tews
• 2013/01/09 Re: [PG-devel] overlapping calls to proof-shell-filter Stefan Monnier
• 2013/01/09 Re: [PG-devel] overlapping calls to proof-shell-filter Hendrik Tews
• 2013/01/08 Re: [PG-devel] overlapping calls to proof-shell-filter Hendrik Tews
• 2013/01/08 Re: [PG-devel] overlapping calls to proof-shell-filter David Aspinall
• 2013/01/08 [PG-devel] overlapping calls to proof-shell-filter Hendrik Tews
• 2012/12/01 Re: [PG-devel] ProofGeneral 4.2 byte-compilation fails with Emacs 24.2.90 David Aspinall
• 2012/11/30 [PG-devel] ProofGeneral 4.2 byte-compilation fails with Emacs 24.2.90 Ulrich Mueller
• 2012/11/15 Re: [PG-devel] Coq menu entries Pierre Courtieu
• 2012/11/14 Re: [PG-devel] Coq menu entries David Aspinall
• 2012/11/14 Re: [PG-devel] first version of parallel background compilation for Coq Hendrik Tews
• 2012/11/14 Re: [PG-devel] Coq menu entries Hendrik Tews
• 2012/11/14 Re: [PG-devel] proof-shell-pre-interrupt-hook ? David Aspinall
• 2012/11/14 Re: [PG-devel] first version of parallel background compilation for Coq David Aspinall
• 2012/11/13 [PG-devel] first version of parallel background compilation for Coq Hendrik Tews
• 2012/11/13 Re: [PG-devel] Coq menu entries Pierre Courtieu
• 2012/11/13 [PG-devel] Coq menu entries Hendrik Tews
• 2012/11/13 [PG-devel] proof-shell-pre-interrupt-hook ? Hendrik Tews
• 2012/11/09 Re: [PG-devel] pg-finish-tracing-display ? David Aspinall
• 2012/11/07 [PG-devel] pg-finish-tracing-display ? Hendrik Tews
• 2012/10/17 Re: [PG-devel] Reboot: Release of PG 4.2 David Aspinall
• 2012/10/17 Re: [PG-devel] Reboot: Release of PG 4.2 Hendrik Tews
• 2012/10/10 Re: [PG-devel] Reboot: Release of PG 4.2 Hendrik Tews
• 2012/09/14 Re: [PG-devel] Tracker questions Stefan Monnier
• 2012/09/14 Re: [PG-devel] Tracker questions Pierre Courtieu
• 2012/09/14 Re: [PG-devel] Tracker questions David Aspinall
• 2012/09/14 [PG-devel] Tracker questions Hendrik Tews
• 2012/09/12 Re: [PG-devel] Reboot: Release of PG 4.2 Hendrik Tews
• 2012/09/04 Re: [PG-devel] Reboot: Release of PG 4.2 David Aspinall
• 2012/09/04 Re: [PG-devel] Reboot: Release of PG 4.2 Stefan Monnier
• 2012/09/04 Re: [PG-devel] Reboot: Release of PG 4.2 Pierre Courtieu
• 2012/09/04 Re: [PG-devel] Reboot: Release of PG 4.2 Hendrik Tews
• 2012/09/04 Re: [PG-devel] Reboot: Release of PG 4.2 Stefan Monnier
• 2012/09/04 Re: [PG-devel] Reboot: Release of PG 4.2 David Aspinall
• 2012/09/04 Re: [PG-devel] Reboot: Release of PG 4.2 Hendrik Tews
• 2012/09/04 [PG-devel] Reboot: Release of PG 4.2 David Aspinall
• 2012/09/03 Re: [PG-devel] Howto disable the double hit terminator for Coq? Hendrik Tews
• 2012/09/03 Re: [PG-devel] Howto disable the double hit terminator for Coq? Pierre Courtieu
• 2012/09/03 [PG-devel] Howto disable the double hit terminator for Coq? Hendrik Tews
• 2012/08/10 Re: [PG-devel] speed up Coq Proof General by processing complete proofs Hendrik Tews
• 2012/08/09 Re: [PG-devel] speed up Coq Proof General by processing complete proofs Makarius
• 2012/08/09 Re: [PG-devel] speed up Coq Proof General by processing complete proofs David Aspinall
• 2012/08/09 Re: [PG-devel] speed up Coq Proof General by processing complete proofs Lionel Elie Mamane
• 2012/08/09 [PG-devel] speed up Coq Proof General by processing complete proofs Hendrik Tews
• 2012/07/17 Re: [PG-devel] ProofGeneral 4.1 byte-compilation fails if image-load-path is not defined Ulrich Mueller
• 2012/07/17 Re: [PG-devel] ProofGeneral 4.1 byte-compilation fails if image-load-path is not defined Hendrik Tews
• 2012/07/15 Re: [PG-devel] Stefan Monnier
• 2012/07/14 [PG-devel] ProofGeneral 4.1 byte-compilation fails if image-load-path is not defined Ulrich Mueller
• 2012/06/15 Re: [PG-devel] Emacs 24 Paolo Herms
• 2012/06/15 Re: [PG-devel] Emacs 24 David Aspinall
• 2012/06/15 [PG-devel] Emacs 24 Paolo Herms
• 2012/06/08 Re: [PG-devel] Feature name conflict with Coq Hendrik Tews
• 2012/06/07 Re: [PG-devel] Feature name conflict with Coq Hendrik Tews
• 2012/06/06 Re: [PG-devel] Feature name conflict with Coq Hendrik Tews
• 2012/06/06 Re: [PG-devel] Feature name conflict with Coq Pierre Courtieu
• 2012/06/06 Re: [PG-devel] Feature name conflict with Coq Stefan Monnier
• 2012/06/06 [PG-devel] Feature name conflict with Coq Hendrik Tews
• 2012/06/05 Re: [PG-devel] bar cursor in *goals* and *response* Stefan Monnier
• 2012/06/05 Re: [PG-devel] bar cursor in *goals* and *response* David Aspinall
• 2012/06/05 Re: [PG-devel] bar cursor in *goals* and *response* Hendrik Tews
• 2012/06/04 Re: [PG-devel] bar cursor in *goals* and *response* Stefan Monnier
• 2012/06/04 Re: [PG-devel] bar cursor in *goals* and *response* Pierre Courtieu
• 2012/06/04 [PG-devel] bar cursor in *goals* and *response* Hendrik Tews
• 2012/05/31 [PG-devel] let proof-retract-buffer only move point when called interactively Hendrik Tews
• 2012/05/25 [PG-devel] kill windows showing response and goals buffers on proof-shell-exit Hendrik Tews
• 2012/04/09 Re: [PG-devel] PGIP warning messages Edward Z. Yang
• 2012/04/09 Re: [PG-devel] PGIP warning messages Makarius
• 2012/04/09 Re: [PG-devel] PGIP warning messages Edward Z. Yang
• 2012/04/09 Re: [PG-devel] PGIP warning messages Makarius
• 2012/04/08 Re: [PG-devel] PGIP warning messages Tom Prince
• 2012/04/08 Re: [PG-devel] PGIP warning messages Edward Z. Yang
• 2012/04/07 Re: [PG-devel] PGIP warning messages Makarius
• 2012/04/07 Re: [PG-devel] PGIP warning messages Makarius
• 2012/04/06 Re: [PG-devel] PGIP warning messages Edward Z. Yang
• 2012/04/06 Re: [PG-devel] PGIP warning messages Tom Prince
• 2012/04/06 Re: [PG-devel] PGIP warning messages Edward Z. Yang
• 2012/04/06 Re: [PG-devel] PGIP warning messages Edward Z. Yang
• 2012/04/06 Re: [PG-devel] PGIP warning messages Makarius
• 2012/04/06 Re: [PG-devel] PGIP warning messages Makarius
• 2012/04/06 Re: [PG-devel] PGIP warning messages David Aspinall
• 2012/04/06 Re: [PG-devel] PGIP warning messages Edward Z. Yang
• 2012/04/06 Re: [PG-devel] Re: PGIP warning messages David Aspinall
• 2012/04/06 Re: [PG-devel] PGIP warning messages David Aspinall
• 2012/04/06 [PG-devel] Re: PGIP warning messages Edward Z. Yang
• 2012/04/05 [PG-devel] PGIP warning messages Edward Z. Yang
• 2012/01/06 [PG-devel] obsolete coq/coqtags Hendrik Tews
• 2012/01/04 Re: [PG-devel] Proof-tree merge David Aspinall
• 2012/01/03 [PG-devel] Proof-tree merge Hendrik Tews
• 2011/12/28 Re: [PG-devel] Possible License Change Makarius
• 2011/12/19 Re: [PG-devel] Possible License Change Stefan Monnier
• 2011/12/19 [PG-devel] Possible License Change David Aspinall
• 2011/12/07 [PG-devel] hiding additional subgoals Hendrik Tews
• 2011/12/04 [PG-devel] [PATCH] coq: Rewrite coq-update-minor-mode-alist to use with-current-buffer. Tom Prince
• 2011/11/01 [PG-devel] use vcursor in locked region Hendrik Tews
• 2011/10/24 Re: [PG-devel] PG 4.1 released! Hendrik Tews
• 2011/10/09 [PG-devel] [PATCH] Fix compilation with emacs 24 Tom Prince
• 2011/10/03 [PG-devel] PG 4.1 released! David Aspinall
• 2011/09/23 Re: [PG-devel] [PATCH] coq: Add option to ignore warning from coqdep in auto-compilation mode. Hendrik Tews
• 2011/09/19 Re: [PG-devel] PG 4.1 release ever? Stefan Monnier
• 2011/09/19 Re: [PG-devel] PG 4.1 release ever? Makarius
• 2011/09/19 Re: [PG-devel] PG 4.1 release ever? David Aspinall
• 2011/09/19 Re: [PG-devel] PG 4.1 release ever? Stefan Monnier
• 2011/09/19 Re: [PG-devel] PG 4.1 release ever? David Aspinall
• 2011/09/18 Re: [PG-devel] PG 4.1 release ever? David Aspinall
• 2011/09/18 Re: [PG-devel] PG 4.1 release ever? Makarius
• 2011/09/16 Re: [PG-devel] PG 4.1 release ever? David Aspinall
• 2011/09/15 Re: [PG-devel] [PATCH] coq: Allow specifying recursive entries in coq-load-path. Hendrik Tews
• 2011/09/14 Re: [PG-devel] A few major bugs about exiting ProofGeneral with current CVS version Hendrik Tews
• 2011/09/14 Re: [PG-devel] [PATCH] coq: Allow specifying recursive entries in coq-load-path. Stefan Monnier
• 2011/09/14 Re: [PG-devel] A few major bugs about exiting ProofGeneral with current CVS version David Aspinall
• 2011/09/14 Re: [PG-devel] [PATCH] coq: Allow specifying recursive entries in coq-load-path. Pierre Courtieu

• Earlier messages
• Later messages