Index: tol/stdlib/general/TolPackage/repository.tol
===================================================================
--- tol/stdlib/general/TolPackage/repository.tol	(revision 45ab97f157b8d8c93331dc47ee35b4c0c88fddd8)
+++ tol/stdlib/general/TolPackage/repository.tol	(revision 8502d0257eb45e76825d57ac059e972c01eaeec6)
@@ -337,4 +337,5 @@
     Real SetIndexByName(_.index);
     Real @Repository::MergePackages(_.index);
+    Real @Repository::SaveInstances(0);
     Real numErr1 = Copy(NError);
     Real _.connected := And(numErr1==numErr0,Card(_.index));
@@ -527,6 +528,7 @@
   Date releaseDate = ReleaseDate(package.version);
   Real lapse = DateDif(S(0), localDate, releaseDate);
+//WriteLn("TRACE localFile=" << localFile);
 //WriteLn("TRACE Upgrade localDate=" << localDate);
-//WriteLn("TRACE Upgrade releaseDate=" << releaseDate);
+//WriteLn("TRACE Upgrade releaseDate=" << releaseDate); 
 //WriteLn("TRACE Upgrade lapse=" << lapse);
 //WriteLn("TRACE Upgrade caducityInMinutes=" << caducityInMinutes);