diff options
| -rw-r--r-- | generic/proof-shell.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 50f9a557..bf12bc9b 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -461,7 +461,9 @@ process. It is up to the proof assistant how much context is cleared: for example, theories already loaded may be \"cached\" in some way, -so that loading them the next time round does not require re-processing." +so that loading them the next time round only performs a re-linking +operation, not full re-processing. (One way of caching is via +object files, used by Lego and Coq)." (interactive) (if proof-shell-busy (progn |