diff --git a/mps/index.html b/mps/index.html
index 25412722817..0f81ef88759 100644
--- a/mps/index.html
+++ b/mps/index.html
@@ -75,7 +75,7 @@ must therefore be branched and maintained in product versions.
design/ |
-
+
Design documents. |
@@ -83,7 +83,7 @@ must therefore be branched and maintained in product versions.
license.txt |
-
+
The open source license for the MPS Kit. |
@@ -96,26 +96,10 @@ must therefore be branched and maintained in product versions.
-
-
- mmdoc/ |
-
- External documentation. |
-
-
-
-
-
- mminfo/ |
-
- Memory Management Information database. |
-
-
-
readme.txt |
-
+
The "read me" file for the sources, with a basic introduction on
getting started with the MPS Kit. |
@@ -181,13 +165,23 @@ must therefore be branched and maintained in product versions.
| 2002-05-23 |
-
+
RB |
Updated to open source license. Added design documents and top-level text files. |
+
+
+ | 2002-06-07 |
+
+ NB |
+
+ remove mminfo and mmdoc links, which are out-of-date. |
+
+
+