Minor fixes to change_steps - Githubissues

sr-lab / coqpyt

Python client for coq-lsp

MIT License

25 stars 3 forks source link

Minor fixes to change_steps #29

Closed pcarrott closed 11 months ago

pcarrott commented 11 months ago

Handle exceptions in ProofFile.change_steps
Deepcopy steps in CoqFile changes