[sage-support] Re: Is it necessary to restart a sage *server* after installing a spkg ?

2012-12-30 Thread Keshav Kini
Emmanuel Charpentier emanuel.charpent...@gmail.com writes: The documentation points to sage functions allowing to install a new spkg or to upgrade it, whicj explicitely states that such installation is possible. However, the same doc also states that sage must be restarted for the changes to

[sage-support] Re: Is it necessary to restart a sage *server* after installing a spkg ?

2012-12-30 Thread Emmanuel Charpentier
Thank you very much ! Emmanuel Charpentier -- You received this message because you are subscribed to the Google Groups sage-support group. To post to this group, send email to sage-support@googlegroups.com. To unsubscribe from this group, send email to