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

Commits

Commits on May 23, 2022

Commits on May 27, 2022