proofgeneral  

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