Closed felixwellen closed 5 years ago
Thanks a lot! I merged it manually with a small tweak, and actually went further and removed most of the :zap: signs next to these interactive commands, since in fact F* doesn't have to be running for them to be usable.
Thanks again for taking the time to report the issue.
I feel I bit stupid for it after the fact, but I spend some time looking for a way to start an F process and didn't try the commands with a 'zap', since the legend indicated they will only work when there already is a F process.