Browse files

labels before by/from

  • Loading branch information...
1 parent d4876a0 commit ce42d340c4c8b1711755b9a72118bd4fd0d6de22 @JUrban committed May 9, 2012
Showing with 1 addition and 34 deletions.
  1. +1 −34 HOL/hollm3_main.xsltxt
View
35 HOL/hollm3_main.xsltxt
@@ -144,8 +144,7 @@ tpl [Proposition]
if [$proof_links>0] {<a { @NAME=propname(#n=`@propnr`, #pl=`@plevel`); }}
// only print labels if not followed by simple justification
- if [(@nr>0) and not(following-sibling::*[1][(name()="By") or (name()="From")])]
- { proplabmiz3(); }
+ if [(@nr>0)] { proplabmiz3(); }
}
// more for by/from
@@ -159,49 +158,17 @@ tpl [By ](#nbr)
linkbyif(#line = `@line`, #col = `@col`,#by = "by");
<span { @class="lab"; if[@linked="true"] { "-"; }
if[(count(Ref)>0)] { if[(@linked="true")] { ", "; } list(#separ = ", ", #elems = `Ref`); }}
-
- if [preceding-sibling::*[1][(name()="Proposition") and (@nr>0)]]
- { for-each [preceding-sibling::*[1][(name()="Proposition")]] { " "; proplabmiz3(); } }
-
";";
}
else
{
- if [preceding-sibling::*[1][(name()="Proposition") and (@nr>0)]]
- { for-each [preceding-sibling::*[1][(name()="Proposition")]] { " "; proplabmiz3(); } }
-
if [$linkby>0] { linkbyif(#line = `@line`, #col = `@col`,#by = ";"); }
else { ";"; }
}
if [not($nbr = "1")] { <br; }
}
-tpl [IterStep/By] { if [(count(Ref)>0)] {
- linkbyif(#line=`@line`,#col=`@col`,#by="by");
- <span { @class="lab"; list(#separ=", ", #elems=`Ref`); } }}
-tpl [From](#nbr)
-{
- linkbyif(#line=`@line`,#col=`@col`,#by="from");
- <span
- {
- @class="lab";
- getref(#k="S", #anr=`@articlenr`, #nr=`@nr`); "(";
- list(#separ=", ", #elems=`Ref`); ")";
- }
-
- if [preceding-sibling::*[1][(name()="Proposition") and (@nr>0)]]
- { for-each [preceding-sibling::*[1][(name()="Proposition")]] { " "; proplabmiz3(); } }
-
- ";";
- if [not($nbr="1")] { <br; }
-}
-tpl [IterStep/From]
-{
- linkbyif(#line=`@line`,#col=`@col`,#by="from");
- <span { @class="lab"; getref(#k="S", #anr=`@articlenr`, #nr=`@nr`); "(";
- list(#separ=", ", #elems=`Ref`); ")"; }
-}

0 comments on commit ce42d34

Please sign in to comment.