app-emacs/proofgeneral
A generic Emacs interface for proof assistants
Screenshots
-
proofgeneral-4.5~amd64 ~x86
View 
Download 
Browse License: Overlay: nongnu-elpa -
proofgeneral-4.5~amd64 ~x86
View Download Browse License: Overlay: melpa-stable
ChangeLog
commit bb53fad398d41cb296caedb55098229beff1c0ff
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Thu Apr 10 18:23:17 2025 +0000
Auto-generated ebuilds 2025-04-10T18:23:17.
commit 554805ec819abf80bf22c90834e1f7c1c7762259
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Mon Mar 20 16:40:36 2023 +0000
Auto-generated ebuilds 2023-03-20T16:40:36.
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Thu Apr 10 18:23:17 2025 +0000
Auto-generated ebuilds 2025-04-10T18:23:17.
commit 554805ec819abf80bf22c90834e1f7c1c7762259
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Mon Mar 20 16:40:36 2023 +0000
Auto-generated ebuilds 2023-03-20T16:40:36.