Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

28 lines (17 sloc) 0.899 kb
stylesheet 1.0;
// XSLTXT (https://xsltxt.dev.java.net/) stylesheet
// producing one line of text for the .evl file with environ declarations
// To produce standard XSLT from this do e.g.:
// java -jar xsltxt.jar toXSL evl2dep1.xsltxt >evl2dep1.xsl
// Than run e.g. this way:
// xsltproc evl2dep1.xsl xboole_0.evl
output method=text;
strip-space "*";
$lcletters= { "abcdefghijklmnopqrstuvwxyz"; }
$ucletters= { "ABCDEFGHIJKLMNOPQRSTUVWXYZ"; }
tpl lc(#s) { `translate($s, $ucletters, $lcletters)`; }
tpl uc(#s) { `translate($s, $lcletters, $ucletters)`; }
tpl [/] { apply[/Environ]; "\n";}
tpl [Environ] { lc(#s=`@aid`); ".xmlvrf"; ": "; lc(#s=`@aid`); ".miz"; apply; }
tpl [Directive] { if[@name="Notations" or @name="Definitions" or @name="Theorems" or @name="Schemes" or @name="Registrations" or @name="Constructors"] { apply[Ident]; } }
tpl [Ident] { " "; lc(#s=`@name`); "-prel";}
Jump to Line
Something went wrong with that request. Please try again.