view tests/thead.ur @ 2013:77cc9169d6e0

Change context-local memory allocation to return word-aligned addresses (based on patch by Evan Danaher)
author Adam Chlipala <adam@chlipala.net>
date Sun, 18 May 2014 18:58:50 -0400
parents d3a0f2b8af28
children
line wrap: on
line source
fun main () : transaction page = return <xml><body>
  <table>
    <thead>
      <tr> <th>A</th> <th>B</th> </tr>
    </thead>

    <tbody>
      <tr> <td>1</td> <td>2</td> </tr>
      <tr> <td>3</td> <td>4</td> </tr>
    </tbody>

    <tfoot>
      <tr> <th>C</th> <th>D</th> </tr>
    </tfoot>
  </table>
</body></xml>