Re: [sage-devel] #15521: MILP.new_variable() confuses me
Now needs a review ;-) Nathann On Friday, June 20, 2014 5:11:58 PM UTC+2, Jeroen Demeyer wrote: > > I created http://trac.sagemath.org/ticket/16504 for this > -- 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 sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Re: Who won the Spies Prize?
Thanks for your hard work Volker. And also for your presence at Sage Days 57 in Paris. I am now able to develop and review ticket again. Sébastien -- 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 sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] sage download mirrors and latest devel version
It seems that the download mirrors have sage 6.1.beta1 in the devel folder. Are we no longer mirrorring the latest development version? If so, it would be good if the devel folder on the mirrors had an index.html file saying so, and saying how to get the latest developent version with git. Samuel -- 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 sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Re: sage download mirrors and latest devel version
We recently moved the web server to a VM. That works, but the mirroring system still needs some love.. On Monday, June 23, 2014 3:35:01 PM UTC-4, Samuel Lelievre wrote: > > It seems that the download mirrors have sage 6.1.beta1 > in the devel folder. > > Are we no longer mirrorring the latest development version? > > If so, it would be good if the devel folder on the mirrors had > an index.html file saying so, and saying how to get the latest > developent version with git. > > Samuel > > -- 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 sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
