Skip to content
No description or website provided.
XSLT Perl Other
Latest commit ae768d3 Jun 27, 2014 @JUrban asymmetry
Failed to load latest commit information.
FM predicates Dec 23, 2012
HOL labels before by/from May 10, 2012
ISA entities May 7, 2012
MHTML js as param May 7, 2012
Makefile dumping propositions names to .propnames if --param dump_prop_labels … Sep 5, 2010
Makefile.html mk_comments Dec 11, 2011
MizComments.pl debug Dec 12, 2011
addabsrefs.xsl reductions in html and mizpl Feb 8, 2012
addabsrefs.xsltxt reductions in html and mizpl Feb 8, 2012
constrnames.xsltxt simple stylesheet for producing pretty-printing names for constructors Nov 19, 2005
constrnames1.xsl space instead of .. for circumfix Jun 15, 2014
constrnames1.xsltxt space instead of .. for circumfix Jun 15, 2014
eXistMML.xsl initial hack for displaying linked eXist query results Mar 25, 2005
eXistMML.xsltxt initial hack for displaying linked eXist query results Mar 25, 2005
evl2dep.xsl evl2dep dependency creator Mar 9, 2010
evl2dep.xsltxt better deps Mar 9, 2010
evl2dep1.xsl evl2dep1 - newer version of evl2dep Mar 15, 2011
evl2dep1.xsltxt evl2dep1 - newer version of evl2dep Mar 15, 2011
evl2pl.xsl evl2pl stylesheet for mptp; needs to be postprocessed with the sgl info Jun 21, 2010
evl2pl.xsltxt evl2pl stylesheet for mptp; needs to be postprocessed with the sgl info Jun 21, 2010
evl2txt.xsl Simplify the format. Mar 1, 2010
evl2txt.xsltxt Simplify the format. Mar 1, 2010
fix_top_now.pl fixes Jan 10, 2012
frdgrm.rnc initial nonworking version from Mizar Wiki Jul 25, 2007
install_miz.sh script fetching and installing new mizar version into the current di… Oct 29, 2009
miz.xsl js as param May 7, 2012
miz.xsltxt js as param May 7, 2012
miz1.xsl thesis for Now experiment Jan 10, 2012
miz1.xsltxt thesis for Now experiment Jan 10, 2012
miz2dli.xsl some additions and debugging; May 24, 2008
miz2dli.xsltxt some additions and debugging; May 24, 2008
miz2outref.xsl stylesheet translating Mizar XML syntax to MML Query outref files Jul 11, 2008
miz2outref.xsltxt stylesheet translating Mizar XML syntax to MML Query outref files Jul 11, 2008
mizpl.xsl asymmetry Jun 27, 2014
mizpl.xsltxt asymmetry Jun 27, 2014
mk_miz.sh update for tarski_0 and tarski_a Jun 23, 2014
mkxmlhead.pl encode entities Dec 12, 2011
remproofs.xsl removing all proof elements from the xml (i.e. making abstract) Jan 25, 2006
remproofs.xsltxt removing all proof elements from the xml (i.e. making abstract) Jan 25, 2006
rng-doc.xsl added rng-doc.xsl for generating rng html; done this way: Aug 9, 2010
selectelems.xsltxt selecting only given elements from xml Apr 10, 2007
split4eXist.pl changed the new file names Mar 26, 2005
strip_lines_and_column_info.xsl A simple stylesheet for removing line and column information in mizar… Mar 2, 2010
th_positions.xsltxt printing starting and ending position for theorems - should be added … Mar 23, 2008
thpos.xsl theorem positions Sep 21, 2013
thpos.xsltxt theorem positions Sep 21, 2013
topproofs.xsl forgot about CaseBlock and SupposeBlock Dec 27, 2009
topproofs.xsltxt forgot about CaseBlock and SupposeBlock Dec 27, 2009
tptp2miz.xsl some more Oct 17, 2011
tptp2miz.xsltxt some more Oct 17, 2011
tstp2dli.xsl fix for constants containing the __article May 2, 2008
tstp2dli.xsltxt fix for constants containing the __article May 2, 2008
tstp2dli_prop.xsl version used from transforming arbitrary MPTP->TPTP files to .dli and… May 28, 2010
tstp2dli_prop.xsltxt version used from transforming arbitrary MPTP->TPTP files to .dli and… May 28, 2010
xsltxt.el first attempt at xsltxt syntax-highliting Mar 12, 2005
xsltxt.jar xsltxt translator Jul 25, 2007
xsltxt.st fixed regexp and quoting Mar 14, 2005
Something went wrong with that request. Please try again.