references in books.

[kohlhase]

When the html contains

<span class="omdoc-oref" href="#fold-sum.ex">
      <a href="#fold-sum.ex">#fold-sum.ex</a>
 </span>

then we should replace the content of the

 <a class="omdoc-oref" href="#fold-sum.ex">foo</a>

where foo is the title of the element referenced by #fold-sum.ex.

Actually, that may not be all, we need to sneak in the word Example in there somehow, but this is an sTeX issue I need to take care of myself

[vladmerti]

Can you give me the url of a page containing a reference please?

[kohlhase]

If you go to

http://panta.kwarc.info/content/84-reasoning-about-natural-numbers

and into 8.4.1 then there is a reference to #setequal.def

this seems to be styled like an expandable section. I still have to
investigate whether the xhtml you are getting is correct.

On 9.4.13 15:05, Vlad Merticariu wrote:

Can you give me the url of a page containing a reference please?

—
Reply to this email directly or view it on GitHub
#332 (comment).

---

Prof. Dr. Michael Kohlhase, Office: Research 1, Room 168
Professor of Computer Science Campus Ring 1,
Jacobs University Bremen D-28759 Bremen, Germany
tel/fax: +49 421 200-3140/-493140 skype: m.kohlhase

[email protected] http://kwarc.info/kohlhase

[kohlhase]

this was mostly my fault, since I did not distinguish references (sref) from section headings (inputref). Now, they have distinct classes:

an inputref is of the form

        <span class="omdoc-statement-header">
          <span class="omdoc-omtext-number">1.1</span>
        </span>

and an sref is of the form

          <span class="omdoc-oref-cite" href="#setequal.def">
              <a href="#setequal.def">#setequal.def</a>
            </span> 

so you can tell them apart and treat them differently.
Unfortunately, this means that we have to re-generate.
We should really invest in some functionality that does this.