Open kohlhase opened 11 years ago
Can you give me the url of a page containing a reference please?
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 https://github.com/KWARC/planetary/issues/332#issuecomment-16111119.
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
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.
When the html contains
then we should replace the content of the
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