Detached proofs have broken links

[Andrew Scholer]

I just noticed that detached proofs (like Proof 24.1 of the SA) have broken links. 

They appear to have been broken for quite some time - at least the start of 2024.

Made an issue here:

https://github.com/PreTeXtBook/pretext/issues/2675

Andrew Scholer (he/him/his)

Computer Science Instructor

Chemeketa Community College

503.589.7649 

computerscience.chemeketa.edu/people/andrew-scholer/

[Rob Beezer]

Thanks, Andrew, for catching this one.

Two problems here, both now fixed.

* Two versions of the knowl clickable is now back to just one (part of the
"Proof" heading).

* The content of the knowl is being manufactured again (it got lost as part of
an efficience drive to clean up making too many knowls that were not needed).

Recognize that proof/@ref makes the #proof element do double-duty and function
like the #xref element. And so there has always been support for the @text
attribute to influence how the clickable looks.

Rob


On 8/23/25 08:58, Andrew Scholer wrote:
> I just noticed that detached proofs (like Proof 24.1 <https://pretextbook.org/
> examples/sample-article/html/section-programs.html#section-programs-27> of the

> SA) have broken links.
>
> They appear to have been broken for quite some time - at least the start of 2024.
>
> Made an issue here:

> https://github.com/PreTeXtBook/pretext/issues/2675 <https://github.com/
> PreTeXtBook/pretext/issues/2675>

>
>
> Andrew Scholer (he/him/his)
> Computer Science Instructor
> Chemeketa Community College
> 503.589.7649

> computerscience.chemeketa.edu/people/andrew-scholer/ <http://
> computerscience.chemeketa.edu/people/andrew-scholer/>
>
> --
> You received this message because you are subscribed to the Google Groups
> "PreTeXt development" group.
> To unsubscribe from this group and stop receiving emails from it, send an email
> to pretext-dev...@googlegroups.com <mailto:pretext-
> dev+uns...@googlegroups.com>.
> To view this discussion visit https://groups.google.com/d/msgid/pretext-dev/
> CACm44N8evTbzu_1niQubK64L918SnB2UxmaDYADBbx22M3oaeQ%40mail.gmail.com <https://
> groups.google.com/d/msgid/pretext-dev/
> CACm44N8evTbzu_1niQubK64L918SnB2UxmaDYADBbx22M3oaeQ%40mail.gmail.com?
> utm_medium=email&utm_source=footer>.