When a file is loaded and processed (E.g., proved through), then if the project is closed, then opened again. The proof state is known and can be inspected, yet the markers are lost and cannot be refreshed, unless the whole section is reprocessed.
Log in to post a comment.
