I'd like to log my entire session in sage into a file. The best solution I found is to use log_html(). http://doc.sagemath.org/html/en/reference/misc/sage/misc/log.html
But the functions seems deprecated, and the document about it I've found is more than a decade. sage: log_html() --------------------------------------------------------------------------- NameError Traceback (most recent call last) <ipython-input-5-a8d814def110> in <module> ----> 1 log_html() NameError: name 'log_html' is not defined sage: log_html --------------------------------------------------------------------------- NameError Traceback (most recent call last) <ipython-input-6-ff0f45b830f3> in <module> ----> 1 log_html NameError: name 'log_html' is not defined -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/36adf193-74bb-4c7d-9ec2-7f822bba9625%40googlegroups.com.
