From 506c3dc502fcdb3c19412307af673d4173724482 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 21 Oct 1999 16:23:26 +0000 Subject: docstring --- generic/proof-shell.el | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'generic') 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 -- cgit v1.2.3