annotate tests/thead.ur @ 2095:d9f918b79b5a

List.mem
author Adam Chlipala <adam@chlipala.net>
date Tue, 23 Dec 2014 14:41:23 -0500
parents d3a0f2b8af28
children
rev   line source
adam@2007 1 fun main () : transaction page = return <xml><body>
adam@2007 2 <table>
adam@2007 3 <thead>
adam@2007 4 <tr> <th>A</th> <th>B</th> </tr>
adam@2007 5 </thead>
adam@2007 6
adam@2007 7 <tbody>
adam@2007 8 <tr> <td>1</td> <td>2</td> </tr>
adam@2007 9 <tr> <td>3</td> <td>4</td> </tr>
adam@2007 10 </tbody>
adam@2007 11
adam@2007 12 <tfoot>
adam@2007 13 <tr> <th>C</th> <th>D</th> </tr>
adam@2007 14 </tfoot>
adam@2007 15 </table>
adam@2007 16 </body></xml>