proofgeneral
Thread
Date
Messages by Thread
[PG] Fwd: [PG-devel] Shutdown of proofgeneral and proofgeneral-devel lists
David Aspinall
[PG] Shutdown of proofgeneral and proofgeneral-devel lists
David Aspinall
[PG] Set up option proof-rsh-command
Andrey Klaus
Re: [PG] Infos about new communication channels - Re: Set up option proof-rsh-command
Andrey Klaus
[PG] Proof diffs, ProofGeneral's master branch and Coq's -emacs mode
Jim Fehrle
[PG] On-going migration of issues from PG/xml repo to the main ProofGeneral repo
Erik Martin-Dorel
Re: [PG] On-going migration of issues from PG/xml repo to the main ProofGeneral repo
Erik Martin-Dorel
Re: [PG] On-going migration of issues from PG/xml repo to the main ProofGeneral repo
Erik Martin-Dorel
[PG] current Proof General with Isabelle 2005
Gergely Buday
[PG] Context menu in Proof General
Paul A. Steckler
[PG] Debian package outdated - any plans to update it?
Benedikt Ahrens
[PG] Fwd: Using Proof-General with the HoTT Modification to Coq
David Aspinall
[PG] Seeking industrial users of Proof General
David Aspinall
[PG] Final Call: Automated Reasoning Workshop, April 2013, Dundee
jonathanheras
[PG] 20th Automated Reasoning Workshop, April 2013, Dundee
Jonathan Heras
[PG] Final Call for Contributions: Automated Reasoning Workshop, April 2013, Dundee
Jonathan Heras
[PG] Reminder: CICM/MKM deadline nearly here!
David Aspinall
[PG] ML4PG announcement
jonathanheras
[PG] Proof General 4.2 released!
David Aspinall
[PG] Disabling urgent messages
Michael Chan
Re: [PG] Disabling urgent messages
Makarius
Re: [PG] Disabling urgent messages
David Aspinall
Re: [PG] Disabling urgent messages
Makarius
Re: [PG] Disabling urgent messages
David Aspinall
Re: [PG] Disabling urgent messages
Michael Chan
Re: [PG] Disabling urgent messages
Makarius
Re: [PG] Disabling urgent messages
Michael Chan
Re: [PG] Disabling urgent messages
Michael Chan
Re: [PG] Disabling urgent messages
David Aspinall
[PG] Re: Portfile for Proof General 4.0 release candidate
Adam Megacz
[PG] Portfile for Proof General 4.0 release candidate
Adam Megacz
[PG] Proof General 4.0 - release candidate
David Aspinall
[PG] Re: [PG-devel] Proof General 4.0 - release candidate
Paolo Herms
[PG] make "electric terminator" apply only in non-comment regions?
Adam Megacz
Re: [PG] make "electric terminator" apply only in non-comment regions?
David Aspinall