Preserve active options around extracted syntax context - #1

Preserve active options around extracted syntax context#1

kim-em merged 2 commits into

mainleanprover/lean-eval-generator:mainfrom

fix/preserve-set-option-contextleanprover/lean-eval-generator:fix/preserve-set-option-contextCopy head branch name to clipboard