Skip to content

add customizable variables to configure which part of a goal the goal buffer will focus on#654

Open
cipher1024 wants to merge 2 commits into
ProofGeneral:masterfrom
cipher1024:master
Open

add customizable variables to configure which part of a goal the goal buffer will focus on#654
cipher1024 wants to merge 2 commits into
ProofGeneral:masterfrom
cipher1024:master

Update coq.el

f35d937
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs