add customizable variables to configure which part of a goal the goal buffer will focus on#654
Open
cipher1024 wants to merge 2 commits intoProofGeneral:masterfrom
Open
add customizable variables to configure which part of a goal the goal buffer will focus on#654cipher1024 wants to merge 2 commits intoProofGeneral:masterfrom
cipher1024 wants to merge 2 commits intoProofGeneral:masterfrom
Commits
Commits on May 23, 2022
- committed
Simon Hudon
Commits on May 27, 2022
- authored
