diff --git a/mps/index.html b/mps/index.html index 2853aeac4f3..9ef242b6c68 100644 --- a/mps/index.html +++ b/mps/index.html @@ -6,7 +6,7 @@ -Master Product Sources +branch/2010-03-11/vmem Product Sources @@ -25,7 +25,7 @@
-

Master Product Sources

+

branch/2010-03-11/vmem Product Sources

MPS Staff, @@ -38,7 +38,7 @@

1. Introduction

-

This document is the root of the Master version of the product +

This document is the root of the branch/2010-03-11/vmem of the product sources (See [RB 1999-05-20, 8] for a discussion of master sources, versions, and