diff --git a/Ide/tools.icl b/Ide/tools.icl
index 083f78519a3dfdfb870e49301a0b19c66d57747a..94e27d6ad2a9e7f859980758fe62ab8e7753dec3 100644
--- a/Ide/tools.icl
+++ b/Ide/tools.icl
@@ -2,7 +2,7 @@ implementation module tools
 
 import StdBool, StdFunc, StdFile, StdPStClass, StdSystem
 import ExtNotice, StdPathname
-import IdeState, UtilIO, PmPath
+import IdeState, UtilIO, PmPath, projwin
 
 //-- call out to supporting applications...
 
@@ -71,6 +71,8 @@ shoheapfun ps
 
 provefun :: !*(PSt General) -> *PSt General
 provefun ps
+	# ps			= pm_save ps	// ensure project file is recent...
+	
 	# (pathname,ps) = getPath ps
 	# pr_path		= quoted_string (RemoveSuffix` pathname +++. proofsuf)
 	# (prefs,ps)	= getPrefs ps