Index: 07_devmap.html =================================================================== --- 07_devmap.html (revision 766) +++ 07_devmap.html (revision 767) @@ -51,8 +51,11 @@

7.1. Slot prefixing

{des7:5} -std_devmap registers for the terminal_name_to_port_name -translation. +std_devmap registers for: +

{des7:6} If the "slot" attribute presents in a symbol, and the terminal does