diff --git a/mps/manual/wiki/index.html b/mps/manual/wiki/index.html index b3d4aa0e2e3..83c3bf1f6db 100644 --- a/mps/manual/wiki/index.html +++ b/mps/manual/wiki/index.html @@ -53,9 +53,8 @@

2. Articles

-

Recommended:

+

Recommended; some relevance to client developers:

-

Sketchy:

- - -

Internal or arcane:

+

MPS Internals:

-
  • how a trace (collection, etc) works
  • + + +

    Sketchy, very incomplete, or arcane:

    +