| 278 |
let text (t : [InlineText*]) : H:Inlines = |
let text (t : [InlineText*]) : H:Inlines = |
| 279 |
transform t with |
transform t with |
| 280 |
| <code>x -> [ <b>[ <tt>(highlight x) ] ] |
| <code>x -> [ <b>[ <tt>(highlight x) ] ] |
| 281 |
| <local href=l>txt -> [ (local_link (sitemap,l,txt)) ] |
| <local href=l>txt -> |
| 282 |
|
[ (local_link (sitemap,l,txt)) ] |
| 283 |
| <(tag & (`b|`i|`tt|`em)) (attr)>x -> [ <(tag) (attr)>(text x) ] |
| <(tag & (`b|`i|`tt|`em)) (attr)>x -> [ <(tag) (attr)>(text x) ] |
| 284 |
| <footnote nocount=_>_ -> |
| <footnote nocount=_>_ -> |
| 285 |
let n = string_of !footnote_counter in |
let n = string_of !footnote_counter in |
| 498 |
| [ <site>[ <title>(site & String) (p & Page) ] ] -> |
| [ <site>[ <title>(site & String) (p & Page) ] ] -> |
| 499 |
let _ = gen_page (site,[],p,[], [], compute_sitemap p) in [] |
let _ = gen_page (site,[],p,[], [], compute_sitemap p) in [] |
| 500 |
| _ -> raise ("Invalid input document " @ input) |
| _ -> raise ("Invalid input document " @ input) |
|
|
|
|
|
|