Skip to content

Common insert menu - #910

Merged
Matafou merged 3 commits into
ProofGeneral:masterfrom
Matafou:common-insert-menu
Nov 5, 2026
Merged

Matafou merged 3 commits into
ProofGeneral:masterfrom
Matafou:common-insert-menu

Coq: coq-load-path is defined in coq-project.el now.

08bed40
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
check-doc-magic (29.4)
succeeded Nov 5, 2026 in 27s