Hi Andre,
Work on this is ongoing - joint work with Jesse Alama. We have two ports
being implemented in parallel: RISCV64 and AArch64. The RV64 is certainly
more complete and I can almost bootstrap.
I am slowly finishing other items of work that was doing in parallel to
focus solely on this so
Sorry, cite links have the same problem too.
On Tue, Jun 23, 2020 at 5:27 AM WarGrey Gyoudmon Ju
wrote:
> Greetings.
>
> It seems that Scribble generated PDFs have troubles in dealing with
> hyperlinks produced by `deftech` and `elemtag`. The anchors of the targets
> are not those elements thems
Greetings.
It seems that Scribble generated PDFs have troubles in dealing with
hyperlinks produced by `deftech` and `elemtag`. The anchors of the targets
are not those elements themselves but sections containing them. In other
words, when readers click the link, it always jumps to the containing
s
3 matches
Mail list logo