Content Commens Narrative Structure of a course Course Unit … DefinitionExercise TheoryExample Excercise Unit
doc.omdoc background.omdoc special.omdoc local.omdoc imports background- tmpl.xsl special-tmpl.xsl local-tmpl.xsl expres.xsl doc-incl.xsl doc-tmpl.xsl > doc-final.xsl exincl.xsl doc.html doc2html.xsl includes binds omdoc2html.xsl
...some openmath... Content Commons Document Commons <definition xml:id=“def1-id“ This volume contains the...
KWARC DFKI mid
Document Commons content narrative content narrative MathUI 07 pape r5 pape r1 prefac e3 Content Commons sectio n1 sectio n2 Text 1 Text 2 Def1 PCPC MathUI 06 PCPC repor t1 inherits Text5 pape r3 Pres2 Pres1 Pres3 PCPC Pres4 refs PCPC embeds refs embeds refs Symbol1 fo r Example1 Def2 Example2 mid