On Sat, Dec 02, 2023 at 09:36:01AM +0800, Qian Yun wrote:
> With this patch, the number of digits to be printed in ')time'
> output is now configurable via:
>
> )boot $timePrintDigits := 3
>
> As we discussed before, this could be useful -- and after a
> few days testing, it is useful.
OK.
--
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 on the web visit
https://groups.google.com/d/msgid/fricas-devel/ZWqz9g5q6M5b4erU%40fricas.org.
