Stamp files are used for two purposes in the axiom build. The first purpose is to prevent rebuilding external subsystems like GCL and noweb.
The second purpose is to provide a timestamp for the database files. Tim _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
