<< §0.4 Versions | ↑ Table of Contents ↑ |
§0.5 Publishing
The sources of this language definition are maintained in a target-independent XML format. Three different versions are generated from these sources, using XSLT:
- Online version (XHTML)
- Tooling version (XHTML – directly accessible from inside the OTDT)
- Print version (LaTeX/PDF)
<< §0.4 Versions | ↑ Table of Contents ↑ |