On Friday, October 17, 2025 at 1:14:20 PM UTC+9 [email protected] wrote: ... Just restart sage and your changes will automatically be reflected.
Wow, that is excellent! Thanks. Then we may get rid of "sage -b" and "sage -br". -- You received this message because you are subscribed to the Google Groups "sage-devel" 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/sage-devel/19c67487-1ae7-489b-9848-3b26ca5cb85bn%40googlegroups.com.
