I would use "tagged" instead of taged. https://www.spellmentor.com/t/ta/tagged/taged-or-tagged
Le sam. 1 juil. 2023 à 01:13, Waldek Hebisch <[email protected]> a écrit : > Attached are proposed release notes for FriCAS 1.3.9. > > -- > 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/ZJ9hfRyW9KgmWuyL%40fricas.math.uni.wroc.pl > . > -- 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/CAHnU2daKS_ft%2Bukx0uAnE9hmB3i5%3DF4GU1FpsRDs8M51hRQ1Lw%40mail.gmail.com.
