Index: trunk/doc/design/07_devmap.html
===================================================================
--- trunk/doc/design/07_devmap.html	(revision 266)
+++ trunk/doc/design/07_devmap.html	(revision 267)
@@ -77,9 +77,13 @@
 
 
 <p>{des7:0}
-TODO: table of symbol attributes: pinmap
+<p><table border=1 cellspacing=0>
+<tr><th colspan=3 bgcolor="#aaaaaa"> {des7:0} pin mapping related symbol attributes
+<tr><th> attribute <th> value                <th> description
+<tr><td> pinmap    <td> array of map entries <td> the actual map, as described in TODO
+<tr><td> slot      <td> slot name            <td> textual name of the slot the symbol provides
+</table>
 
-
 <h2> 7.2. Device mapping </h2>
 
 <p>{des7:0}
@@ -97,4 +101,10 @@
 set at least one attributes on each terminal.
 
 
+<p>{des7:0}
+<p><table border=1 cellspacing=0>
+<tr><th colspan=3 bgcolor="#aaaaaa"> {des7:0} device mapping related symbol attributes
+<tr><th> attribute <th> value  <th> description
+<tr><td> devmap    <td> name   <td> name of the devmap file to use
+</table>