Index: trunk/doc/design/07_devmap.html =================================================================== --- trunk/doc/design/07_devmap.html (revision 269) +++ trunk/doc/design/07_devmap.html (revision 270) @@ -34,7 +34,7 @@

{des7:0} Devmap registers for the terminal-name-to-port-name -translation and in case of slotted maps. +translation.

{des7:0} If the slot attribute presents in a symbol, the translation is