equal
deleted
inserted
replaced
196 $cols +=1; |
196 $cols +=1; |
197 } |
197 } |
198 echo "<th>Arbeitsgruppe</th>"; |
198 echo "<th>Arbeitsgruppe</th>"; |
199 echo "<th>Räume</th>"; |
199 echo "<th>Räume</th>"; |
200 echo "<th>Mitarbeiter</th>"; |
200 echo "<th>Mitarbeiter</th>"; |
201 echo "<th>Gefährdung, Maßnahmen</th>"; |
201 echo "<th>Gefährdung: Maßnahmen</th>"; |
202 echo "<th>Vorsorge</th>"; |
202 echo "<th>Vorsorge</th>"; |
203 echo "<th>Betriebsanweisung</th>"; |
203 echo "<th>Betriebsanweisung</th>"; |
204 echo "</tr>"; |
204 echo "</tr>"; |
205 |
205 |
206 function doc_bez($val) |
206 function doc_bez($val) |