Parent Directory
|
Revision Log
|
Patch
| revision 784 by abate, Tue Jul 10 18:02:58 2007 UTC | revision 800 by abate, Tue Jul 10 18:04:02 2007 UTC | |
|---|---|---|
| # | Line 206 | Line 206 |
| 206 | ||
| 207 | end | end |
| 208 | ||
| 209 | (** export Ns.t version of defined namespaces *) | |
| 210 | ||
| 211 | let xsd_namespace = Ns.mk_latin1 xsd_namespace | |
| 212 | let xsi_namespace = Ns.mk_latin1 xsi_namespace | |
| 213 |
|
||||||||
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |