start evaluation immediately
Currently, coquille tries to compute the list of instructions to evaluate before running them. This can take some time on very long files. Try to start evaluating immediately after the user calls CoqToCursor.
Currently, coquille tries to compute the list of instructions to evaluate before running them. This can take some time on very long files. Try to start evaluating immediately after the user calls CoqToCursor.