| 68 |
|
|
| 69 |
(* Recursive inclusion of XML files and verbatim text files *) |
(* Recursive inclusion of XML files and verbatim text files *) |
| 70 |
|
|
| 71 |
let load_include (String -> [Any*]) |
let load_include (Latin1 -> [Any*]) |
| 72 |
name -> |
name -> |
| 73 |
(* let _ = print [ 'Loading ' !name '... \n' ] in *) |
(* let _ = print [ 'Loading ' !name '... \n' ] in *) |
| 74 |
xtransform [ (load_xml name) ] with |
xtransform [ (load_xml name) ] with |
| 75 |
| <include file=(s & String)>[] -> load_include s |
| <include file=(s & Latin1)>[] -> load_include s |
| 76 |
| <include-verbatim file=(s & String)>[] -> load_file s |
| <include-verbatim file=(s & Latin1)>[] -> load_file s |
| 77 |
|
|
| 78 |
(* Highlighting text between {{...}} *) |
(* Highlighting text between {{...}} *) |
| 79 |
|
|
Parent Directory
| 
Revision Log
| 
Patch