Waldek Hebisch
unread,Jan 16, 2026, 6:08:36 PM (3 days ago) Jan 16Sign in to reply to author
Sign in to forward
You do not have permission to delete messages in this group
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to fricas...@googlegroups.com
I tried to provide replacement IndexCard using data from
BrowserInformation. My current version misses important parts,
but I think that I can provide good replacement.
However, current IndexCard has:
coerce : String -> %
++ coerce(s) converts \spad{s} into an \spad{IndexCard}. Warning: if
++ \spad{s} is not of the right format then an error will occur when using
++ it.
This signature exposes internal representation and is incompatible
with replacement. But AFAICS it is also essentially useless:
argument string must be in database format, otherwise it would
not work. So I think that we should remove this signature.
Opinions?
--
Waldek Hebisch