coq-syntax.el: Fix state-changing booleans for commands#692

Merged

erikmd merged 1 commit intomasterfrom fix-STATECH

Mar 26, 2023

+22-23

Commits on Mar 20, 2023

coq-syntax.el: Fix STATECH booleans (t => the command is not state-preserving)
erikmd
committed