link

Resources:

  • ART - miz+xml+xml1
  • BIB
  • FMART - bxb - surface of ART and bibliogrphy
  • FXM
  • FXI - kind.nr - xml of (being) translated article items

Mizar-like translation pattern edition:

Plik z regulami transformacji jest poprawnym syntaktycznie artykulem mizarowym: wzorce i redukty sa zapisywane jako wyrazenia Mizara...

-- GrzegorzBancerek - 2009-10-31

WebForm
TopicClassification Select one...
ProjectGroup?

ImplementationDate? N/A
Topic attachments
I Attachment Action Size Date Who Comment
elseEXT art2bxb-import manage 0.1 K 2009-11-05 - 14:24 GrzegorzBancerek script to call XSLT for transformation ART to FMART
xslxsl art2bxb.xsl manage 8.2 K 2009-11-10 - 17:12 GrzegorzBancerek XSLT for transformation ART to FMART
txttxt bib2bxb.pl.txt manage 4.0 K 2009-11-05 - 14:26 GrzegorzBancerek  
elsedtd bxb.dtd manage 3.0 K 2009-11-10 - 17:14 GrzegorzBancerek DTD for FMART
xslxsl bxb2ajax.xsl manage 31.0 K 2009-11-10 - 17:12 GrzegorzBancerek XSLT for transformation BXB to AXAJ
xslxsl bxb2form.xsl manage 17.7 K 2009-11-10 - 17:14 GrzegorzBancerek XSLT for transformation FMART to HTML form for completion
xslxsl bxb2html.xsl manage 8.2 K 2009-11-10 - 17:13 GrzegorzBancerek XSLT for transformation FMART to HTML
elsebib example.bib manage 1.9 K 2009-11-10 - 17:17 GrzegorzBancerek BIB
elsebxb example.bxb manage 3.6 K 2009-11-10 - 17:15 GrzegorzBancerek Example of FMART
elsemiz example.miz manage 5.0 K 2009-11-01 - 09:49 GrzegorzBancerek Example of ART
elsevoc example.voc manage 0.1 K 2009-11-01 - 09:50 GrzegorzBancerek Example of VOC
xmlxml example.xml manage 3.2 K 2009-11-10 - 17:16 GrzegorzBancerek Example of FMART ready to complete
elsexml1 example.xml1 manage 145.8 K 2009-11-01 - 09:51 GrzegorzBancerek Example of ART
txttxt ltime.pl.txt manage 0.3 K 2009-11-07 - 12:22 GrzegorzBancerek  
txttxt metadata.pl.txt manage 5.7 K 2009-11-07 - 12:20 GrzegorzBancerek  
Topic revision: r8 - 2009-11-10 - 17:22:14 - GrzegorzBancerek
 
Mizar TWiki
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback