Commit 20bbd19a authored by Pietro Abate's avatar Pietro Abate

[r2005-03-27 00:00:02 by beppe] Empty log message

Original author: beppe
Date: 2005-03-27 00:00:02+00:00
parent b9dfa1fd
JAVA_HOME=/usr/java/jre1.5.0
CDUCE=/tmp/cduce-0.2.2/cduce
FOP=/tmp/fop-0.20.5/fop.sh
......
......@@ -21,6 +21,13 @@ type block =
white-space-treatment=?("preserve"|"ignore")|}>[
Any* ];;
type line = <fo:inline {|text-decoration=?String; color=?String; font-weight=?String; font-style=?String|}>[Any*];;
type list-block =
<fo:list-block {| provisional-label-separation=?String; provisional-distance-between-starts=?String|}>[
list-item* ];;
type list-item =
<fo:list-item>[
<fo:list-item-label end-indent=?String>[block*]
<fo:list-item-body start-indent=?String>[block*]];;
type flow = <fo:flow {|flow-name=String; font-size=String; text-align=?String|}>[ block* ];;
type static-content = <fo:static-content {||}>[ block* ];;
......
......@@ -38,7 +38,7 @@ let highlight (String -> [ (Char)* ] )
let content (t : Content) : [(block|Char|line)*] =
let content (t : Content) : [(block|Char|line|list-block)*] =
transform t with
| <section title=title1>c -> [<fo:block>[<fo:block>[title1] !(content c) ]]
| ((<sample >s) | <sample highlight="false">s)
......@@ -54,10 +54,23 @@ let highlight (String -> [ (Char)* ] )
text-align="left"
space-after="10pt">[!(highlight s)]]
| <p>x -> [<fo:block space-after="15pt">[!(text x)]]
| <ul>u -> ( transform u with
<li>c -> [<fo:block>[ !(content c) ]])
| <ol>o -> ( transform o with
<li>c -> [<fo:block>[ !(content c) ]])
| <ul>u ->[ <fo:list-block provisional-distance-between-starts="18pt"
provisional-label-separation="3pt">( transform u with
<li>c -> [<fo:list-item>[
<fo:list-item-label end-indent="label-end()">[
<fo:block>"\x2022;"]
<fo:list-item-body start-indent="body-start()">[
<fo:block>[ !(content c) ]]]])]
| <ol>o -> [ <fo:list-block provisional-distance-between-starts="18pt"
provisional-label-separation="3pt">(
let i = ref Int 0 in
i := !i + 1 ;
transform o with
<li>c -> [<fo:list-item>[
<fo:list-item-label end-indent="label-end()">[
<fo:block>(string_of(i)@".")]
<fo:list-item-body start-indent="body-start()">[
<fo:block>[ !(content c) ]]]])]
|((<xmlsample >s) | <xmlsample highlight="false">s) -> [<fo:block>[!(highlight s)]]
|((<sessionsample >s) | <sessionsample highlight="false">s) -> [<fo:block>[!(highlight s)]]
| p & Paper -> (paper p)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment