changeset 33823 | 24090eae50b6 |
parent 33817 | f6a4da31f2f1 |
child 41455 | d3be2a414d15 |
33822:e332b08bf0f3 | 33823:24090eae50b6 |
---|---|
1 (* Title: xhtml.ML |
1 (* Title: Tools/WWW_Find/xhtml.ML |
2 Author: Timothy Bourke, NICTA |
2 Author: Timothy Bourke, NICTA |
3 |
3 |
4 Rudimentary XHTML construction. |
4 Rudimentary XHTML construction. |
5 *) |
5 *) |
6 |
|
6 signature XHTML = |
7 signature XHTML = |
7 sig |
8 sig |
8 type attribute |
9 type attribute |
9 type common_atts = { id : string option, |
10 type common_atts = { id : string option, |
10 class : string option }; |
11 class : string option }; |