app-emacs/company-coq
A collection of extensions for Proof General's Coq mode
Screenshots
-
company-coq-1.0.1~amd64 ~x86
View 
Download 
Browse License: Overlay: melpa-stable
ChangeLog
commit 6b3fe8bb252bc4bbe7245a4891aebeb57bc9b801
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Sat Mar 25 22:40:41 2023 +0000
Auto-generated ebuilds 2023-03-25T22:40:41.
commit 8558b59b049eec49588d161c75bfc52ccb6b1e69
Author: Markus Walter <markus@jonglieren-jena.de>
Date: Wed Nov 3 17:45:53 2021 +0100
Initial mirror of melpa-stable.
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Sat Mar 25 22:40:41 2023 +0000
Auto-generated ebuilds 2023-03-25T22:40:41.
commit 8558b59b049eec49588d161c75bfc52ccb6b1e69
Author: Markus Walter <markus@jonglieren-jena.de>
Date: Wed Nov 3 17:45:53 2021 +0100
Initial mirror of melpa-stable.