diff --git a/mps/index.html b/mps/index.html index 1747977c13c..489b932100e 100644 --- a/mps/index.html +++ b/mps/index.html @@ -38,13 +38,16 @@
This document catalogues the master sources for the Memory Pool -System project. (See This document is the root of the Master version of the product +sources (See [RB 1999-05-20, 8] for a discussion of master sources, versions, and releases.)
-This document will be modified as the master sources are +
This document catalogues the product sources for the Memory Pool +System project.
+ +This document will be modified as the product sources are developed.
The readership of this document is the project developers, and also @@ -53,9 +56,9 @@ anyone interested in the project.
This document is not confidential.
-The master sources are everything which is used to construct the +
The product sources are everything which is used to construct the product and everything which is developed as the product develops, and must therefore be branched and maintained in product versions.
@@ -207,12 +210,26 @@ must therefore be branched and maintained in product versions. +This document is copyright © 2002 Ravenbrook Limited. All rights reserved. This is an open source license. Contact Ravenbrook for commercial licensing options.
+This document is copyright © 2002-2005 Ravenbrook Limited. All rights reserved. This is an open source license. Contact Ravenbrook for commercial licensing options.
Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
diff --git a/mps/procedure/version-create/index.txt b/mps/procedure/version-create/index.txt index d3cc2b032b7..faa12f00b7b 100644 --- a/mps/procedure/version-create/index.txt +++ b/mps/procedure/version-create/index.txt @@ -33,6 +33,10 @@ Entry in the table at