Waldek Hebisch <[EMAIL PROTECTED]> writes: [...]
| +The system uses another optimization: database contains a stamp | +(consisting of offset to the main list and build time). Before | +saving the image selected data is fetched to memory. When the | +saved image starts it checks if the stamp of saved data matches | +in-core data -- in case of agreement in-core data is used. | +Parts of the datatabase which was not pre-loaded is still | +(lazily) fetched from the filesystem. OK; thanks! -- Gaby _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer
