| 1 |
(** Input types **)
|
| 2 |
using H = "xhtml"
|
| 3 |
|
| 4 |
|
| 5 |
type Site = <site>[ <title>String Header? Footer? H.script* Page ]
|
| 6 |
type Header = <header>[ <global_header>Content Item* ]
|
| 7 |
type Footer = <footer>[ Item* ]
|
| 8 |
type Page = <page name=Latin1 url=?String new=?""
|
| 9 |
vertbar=?("true"|"false")>[ <title>String <banner>[InlineText*]?
|
| 10 |
<page_header>H.Flow? <page_footer>H.Flow? Item*]
|
| 11 |
type External = <external href=String title=String name=String>[]
|
| 12 |
|
| 13 |
type Item =
|
| 14 |
<box ({title=String; link=String; short=?String} | {})>Content
|
| 15 |
| <halfwidth_box title=String link=String position=?("left"|"right") short=?String>Content
|
| 16 |
| <halfwidth_box position=?("left"|"right")>Content
|
| 17 |
| <meta>Content
|
| 18 |
| <left>Content
|
| 19 |
| <footnotes>[]
|
| 20 |
| Page
|
| 21 |
| External
|
| 22 |
|
| 23 |
type Author = <author presenter=?("yes"|"no")>String
|
| 24 |
type Paper =
|
| 25 |
<paper file=?String old=?"">[
|
| 26 |
<title>String Author+ <comment>[InlineText*] <abstract>Content ]
|
| 27 |
|
| 28 |
type Slides =
|
| 29 |
<slides file=String>[ <title>String Author+ <comment>[InlineText*] ]
|
| 30 |
|
| 31 |
type Link =
|
| 32 |
<link url=String title=String>[ InlineText* ]
|
| 33 |
|
| 34 |
type Content =
|
| 35 |
[ ( <p style=?String>[InlineText*]
|
| 36 |
| <ol style=?String>[<li>Content +]
|
| 37 |
| <section title=String>Content
|
| 38 |
| <sample highlight=?"true"|"false">String
|
| 39 |
| <xmlsample highlight=?"true"|"false">String
|
| 40 |
| <sessionsample highlight=?"true"|"false">String
|
| 41 |
| H.table
|
| 42 |
| Paper | Slides | Link
|
| 43 |
| <boxes-toc short=?"" sections=?"">[]
|
| 44 |
| <pages-toc sections=?"">[]
|
| 45 |
| <site-toc>[]
|
| 46 |
| <local-links href=String>[]
|
| 47 |
| <two-columns>[ <left>Content <right>Content ]
|
| 48 |
| <note title=?String> Content
|
| 49 |
| <footnotes>[]
|
| 50 |
| <xhtml>H.Flow
|
| 51 |
| <demo label=?String prefix=?String>String
|
| 52 |
| <ul>[<li>Content +]
|
| 53 |
| InlineText
|
| 54 |
)* ]
|
| 55 |
|
| 56 |
type InlineText =
|
| 57 |
Char
|
| 58 |
| <(`b|`i|`tt|`em) style=?String>[InlineText*]
|
| 59 |
| <code>String
|
| 60 |
| <local href=String>String
|
| 61 |
| <footnote nocount=?"true">[InlineText*]
|
| 62 |
| H.a | H.img | H.br |H.script
|
| 63 |
| <thumbnail href=String width=?IntStr height=?IntStr>[]
|
| 64 |
| <thumbnails href=String width=?IntStr height=?IntStr>[ PCDATA ]
|
| 65 |
|
| 66 |
type IntStr = ['0'--'9'+]
|
| 67 |
|
| 68 |
|
| 69 |
|
Parent Directory
| 
Revision Log