On Sun, Oct 29, 2023 at 07:08:19PM +0800, Qian Yun wrote:
> I suggest to remove "StatisticsSummary" related stuff, because
> they are basically empty right now, and there's no clue what
> they were supposed to do.
>
> Including:
> statisticsSummary
> $printStatisticsSummaryIfTrue and ')set message summary' option
> statisticsInitialization
>
> - Qian
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/ZT5C5AtxZX00Bt9g%40fricas.org.
