On 01.07.23 15:11, Grégory Vanuxem wrote:
I would use "tagged" instead of taged. https://www.spellmentor.com/t/ta/tagged/taged-or-tagged
Yes, yes. I would even put in a bit more... proposal at: https://github.com/fricas/fricas/compare/master...hemmecke:fricas:proposed-release-notes Ralf -- 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/0e8cd59a-3caa-82dc-eb08-a5b832b81a46%40hemmecke.org.
