When quitting Sage from the command line one sees something like this: Exiting SAGE (CPU time 0m0.04s, Wall time 0m0.63s).
Note "SAGE" and not "Sage". I went through and changed the small number of places where "SAGE" is ever output. (I skipped comments, of which there are a lot, and obviously substrings of environment variables). There's a patch at #8536 awaiting review. I do not know if there was already a ticket for this -- quite hard to do a targetted search on "SAGE"! John -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
