[racket-users] [racket][scribble] hyperlink problem in generated PDF

2020-06-22 Thread WarGrey Gyoudmon Ju
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

[racket-users] Re: [racket][scribble] hyperlink problem in generated PDF

2020-06-22 Thread WarGrey Gyoudmon Ju
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

[racket-users] Re: Any news on ARM64?

2020-06-22 Thread Paulo Matos
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