/[svn]/web/site.cd
ViewVC logotype

Diff of /web/site.cd

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 339 by abate, Tue Jul 10 17:26:17 2007 UTC revision 340 by abate, Tue Jul 10 17:26:32 2007 UTC
# Line 12  Line 12 
12       <include file=(s & String)>[] -> load_include s;;       <include file=(s & String)>[] -> load_include s;;
13    
14    
15  let fun hilight (String -> [ (Char | Xvar)* ] )  let fun highlight (String -> [ (Char | Xvar)* ] )
16   | [ '{{' h ::(Char *?) '}}' ; rest ] -> [ <var class="hilight">h; hilight rest ]   | [ '{{' h ::(Char *?) '}}' ; rest ] ->
17   | [ c; rest ] -> [ c; hilight rest ]            [ <var class="highlight">h; highlight rest ]
18     | [ c; rest ] -> [ c; highlight rest ]
19   | [] -> [];;   | [] -> [];;
20    
21    
# Line 74  Line 75 
75    
76  let fun text (t : [InlineText*]) : Inlines =  let fun text (t : [InlineText*]) : Inlines =
77    map t with    map t with
78     | <duce>x -> <b>[ <tt>(hilight x) ]     | <duce>x -> <b>[ <tt>(highlight x) ]
79     | <(tag & (`b|`i|`tt|`em))>x -> <(tag)>(text x)     | <(tag & (`b|`i|`tt|`em))>x -> <(tag)>(text x)
80     | z -> z;;     | z -> z;;
81    
# Line 93  Line 94 
94     | <include-verbatim file=f>[] ->     | <include-verbatim file=f>[] ->
95          [ <div class="code">[ <pre>(load_file f) ] ]          [ <div class="code">[ <pre>(load_file f) ] ]
96     | <sample>s ->     | <sample>s ->
97          [ <div class="code">[ <pre>(hilight s) ] ]          [ <div class="code">[ <pre>(highlight s) ] ]
98     | <link url=url; title=title>com ->     | <link url=url; title=title>com ->
99          [ <a href=url>title '. ' !(text com) ]          [ <a href=url>title '. ' !(text com) ]
100     | <ul>lis ->     | <ul>lis ->
Legend:
Removed from v.339  
changed lines
  Added in v.340
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5