Re: [fricas/fricas] "Won't parse" in HyperDoc when clicking on finiteAggregate in the Aggregate Category page (Issue #203)
2 views
Skip to first unread message
Grégory Vanuxem
Oct 3, 2025, 9:27:31 AMOct 3
to fricas...@googlegroups.com
I added a comment on the offending commit:
Greg
Le ven. 3 oct. 2025, 11:58, Ralf Hemmecke <notifi...@github.com> a écrit :
hemmecke left a comment (fricas/fricas#203)
"Version: FriCAS 2025-04-14" ??? somehow I suspect that when you type "fricas" on the commandline you still get your old version. What does "type fricas" return in your case?
And no "spadType" is not a function. It is rather a tag in the documentation written as \spadType{finiteAggregate}. But wait. Why do you see spadType with a capital T?
src/doc/ht/util.ht indead translates \spadtype{finiteAggregate}
https://github.com/fricas/fricas/blob/master/src/algebra/aggcat.spad#L19
to |spadType|. The rest must be a problem with boot code.
But why would it work for me and not for you?—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you authored the thread.
Reply all
Reply to author
Forward
0 new messages