https://elpa.nongnu.org/nongnu-devel/proof-general.xml 2026-05-19T17:20:25Z 2022-07-07T05:04:19Z elpa-admin emacs-devel@gnu.org tag:elpa.nongnu.org,2022-07-07:nongnu-devel/proof-general.xml#v4.5snapshot0.20220707.75856 <p>Version 4.5snapshot0.20220707.75856 of package <a href="https://elpa.nongnu.org/nongnu-devel/proof-general.html">proof-general</a> has just been released in NonGNU-devel ELPA. </p><p>You can now find it in <kbd>M-x list-packages RET</kbd>. </p><p>proof-general describes itself as:</p><blockquote>A generic Emacs interface for proof assistants</blockquote> 2022-07-13T17:03:01Z elpa-admin emacs-devel@gnu.org tag:elpa.nongnu.org,2022-07-13:nongnu-devel/proof-general.xml#v4.5.0.20220713.161818 <p>Version 4.5.0.20220713.161818 of package <a href="https://elpa.nongnu.org/nongnu-devel/proof-general.html">proof-general</a> has just been released in NonGNU-devel ELPA. </p><p>You can now find it in <kbd>M-x list-packages RET</kbd>. </p><p>proof-general describes itself as:</p><blockquote>A generic Emacs interface for proof assistants</blockquote> 2022-11-30T05:06:21Z elpa-admin emacs-devel@gnu.org tag:elpa.nongnu.org,2022-11-30:nongnu-devel/proof-general.xml#v4.6snapshot0.20221130.94645 <p>Version 4.6snapshot0.20221130.94645 of package <a href="https://elpa.nongnu.org/nongnu-devel/proof-general.html">proof-general</a> has just been released in NonGNU-devel ELPA. </p><p>You can now find it in <kbd>M-x list-packages RET</kbd>. </p><p>proof-general describes itself as:</p><blockquote>A generic Emacs interface for proof assistants</blockquote> 2023-12-19T05:04:34Z elpa-admin emacs-devel@gnu.org tag:elpa.nongnu.org,2023-12-19:nongnu-devel/proof-general.xml#v4.6snapshot0.20231219.82832 <p>Version 4.6snapshot0.20231219.82832 of package <a href="https://elpa.nongnu.org/nongnu-devel/proof-general.html">proof-general</a> has just been released in NonGNU-devel ELPA. </p><p>You can now find it in <kbd>M-x list-packages RET</kbd>. </p><p>proof-general describes itself as:</p><blockquote>A generic Emacs interface for proof assistants</blockquote> 2024-11-26T05:04:12Z elpa-admin emacs-devel@gnu.org tag:elpa.nongnu.org,2024-11-26:nongnu-devel/proof-general.xml#v4.6snapshot0.20241126.3245 <p>Version 4.6snapshot0.20241126.3245 of package <a href="https://elpa.nongnu.org/nongnu-devel/proof-general.html">proof-general</a> has just been released in NonGNU-devel ELPA. </p><p>You can now find it in <kbd>M-x list-packages RET</kbd>. </p><p>proof-general describes itself as:</p><blockquote>A generic Emacs interface for proof assistants</blockquote> 2025-09-15T17:06:50Z elpa-admin emacs-devel@gnu.org tag:elpa.nongnu.org,2025-09-15:nongnu-devel/proof-general.xml#v4.6snapshot0.20250915.103850 <p>Version 4.6snapshot0.20250915.103850 of package <a href="https://elpa.nongnu.org/nongnu-devel/proof-general.html">proof-general</a> has just been released in NonGNU-devel ELPA. </p><p>You can now find it in <kbd>M-x list-packages RET</kbd>. </p><p>proof-general describes itself as:</p><blockquote>A generic Emacs interface for proof assistants</blockquote> 2025-11-20T17:06:03Z elpa-admin emacs-devel@gnu.org tag:elpa.nongnu.org,2025-11-20:nongnu-devel/proof-general.xml#v4.6snapshot0.20251120.174626 <p>Version 4.6snapshot0.20251120.174626 of package <a href="https://elpa.nongnu.org/nongnu-devel/proof-general.html">proof-general</a> has just been released in NonGNU-devel ELPA. </p><p>You can now find it in <kbd>M-x list-packages RET</kbd>. </p><p>proof-general describes itself as:</p><blockquote>A generic Emacs interface for proof assistants</blockquote> 2026-01-09T17:08:10Z elpa-admin emacs-devel@gnu.org tag:elpa.nongnu.org,2026-01-09:nongnu-devel/proof-general.xml#v4.6snapshot0.20260109.92858 <p>Version 4.6snapshot0.20260109.92858 of package <a href="https://elpa.nongnu.org/nongnu-devel/proof-general.html">proof-general</a> has just been released in NonGNU-devel ELPA. </p><p>You can now find it in <kbd>M-x list-packages RET</kbd>. </p><p>proof-general describes itself as:</p><blockquote>A generic Emacs interface for proof assistants</blockquote> 2026-01-13T23:55:52Z elpa-admin emacs-devel@gnu.org tag:elpa.nongnu.org,2026-01-13:nongnu-devel/proof-general.xml#v4.6snapshot0.20260113.122819 <p>Version 4.6snapshot0.20260113.122819 of package <a href="https://elpa.nongnu.org/nongnu-devel/proof-general.html">proof-general</a> has just been released in NonGNU-devel ELPA. </p><p>You can now find it in <kbd>M-x list-packages RET</kbd>. </p><p>proof-general describes itself as:</p><blockquote>A generic Emacs interface for proof assistants</blockquote> 2026-01-24T17:08:50Z elpa-admin emacs-devel@gnu.org tag:elpa.nongnu.org,2026-01-24:nongnu-devel/proof-general.xml#v4.6snapshot0.20260124.135141 <p>Version 4.6snapshot0.20260124.135141 of package <a href="https://elpa.nongnu.org/nongnu-devel/proof-general.html">proof-general</a> has just been released in NonGNU-devel ELPA. </p><p>You can now find it in <kbd>M-x list-packages RET</kbd>. </p><p>proof-general describes itself as:</p><blockquote>A generic Emacs interface for proof assistants</blockquote> 2026-05-19T17:20:18Z elpa-admin emacs-devel@gnu.org tag:elpa.nongnu.org,2026-05-19:nongnu-devel/proof-general.xml#v4.60.20260124.135141 <p>Version 4.60.20260124.135141 of package <a href="https://elpa.nongnu.org/nongnu-devel/proof-general.html">proof-general</a> has just been released in NonGNU-devel ELPA. </p><p>You can now find it in <kbd>M-x list-packages RET</kbd>. </p><p>proof-general describes itself as:</p><blockquote>A generic Emacs interface for proof assistants</blockquote>