A little update: after recent commit new browser code is indepenedent
from br-search.boot. Also, parts of br-util.boot which are needed
by new code are moved to ht-util.boot. So, as of today the
following files are only needed by old HyperDoc: br-op1.boot,
br-op2.boot, br-saturn.boot, br-search.boot, br-util.boot
and match.boot.
--
Waldek Hebisch
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion visit
https://groups.google.com/d/msgid/fricas-devel/ahi2B9lWX799qeIS%40fricas.org.
