proofgeneral  

Messages by Date

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