Laste ned presentasjonen
Presentasjon lastes. Vennligst vent
PublisertMarkus Simensen Endret for 7 år siden
1
Content Commens Narrative Structure of a course Course Unit … DefinitionExercise TheoryExample Excercise Unit
2
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
3
...some openmath... Content Commons Document Commons <definition xml:id=“def1-id“ mid=“cc#def-id@rev512“> This volume contains the...
4
...... KWARC DFKI mid
5
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
Liknende presentasjoner
© 2024 SlidePlayer.no Inc.
All rights reserved.