[sage-devel] Re: hg_sage.push() and other minor changes.

2007-12-03 Thread mabshoff
On Dec 2, 4:10 pm, "[EMAIL PROTECTED]" <[EMAIL PROTECTED]> wrote: > This is now sagetrac Ticket #1371, and an updated (and non-empty!) > bundle is included there. > Thanks Jon, we have been discussing something similar to make the development snapshot available somewhere. Your code can be used

[sage-devel] Re: hg_sage.push() and other minor changes.

2007-12-02 Thread [EMAIL PROTECTED]
This is now sagetrac Ticket #1371, and an updated (and non-empty!) bundle is included there. On Dec 2, 6:38 am, "Jonathan Hanke" <[EMAIL PROTECTED]> wrote: > Sorry, but there was a bug. Here's the updated bundle. Thanks, > > -Jon > =) > > push_bundle__Dec_2_2007_ver2.hg > 1KDownload --~--~---

[sage-devel] Re: hg_sage.push() and other minor changes.

2007-12-01 Thread Jonathan Hanke
Sorry, but there was a bug. Here's the updated bundle. Thanks, -Jon =) --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at ht