[opentheory-users] The Gilith OpenTheory Repo is released

[Joe Hurd]

Hi Ramana,

I just made a brown bag update of the first release of the base
packages. Normally there's no way to delete packages and so you'd have
to just upload a new version, but since it was the initial upload that
contained problems I just reset the whole repo and re-uploaded the
fixed version.

Hopefully everything is now in order - the lesson here is to CHECK
CAREFULLY before uploading!!!

Thanks again for your bug report,

Joe

On Wed, Mar 16, 2011 at 9:58 AM, Joe Hurd <joe at gilith.com> wrote:
> Hi Ramana,
>
> Well spotted, it seems I uploaded a bad version of base :-(
>
> I'll upload a fix in short order, and send out an update when I do.
>
> Cheers,
>
> Joe
>
> On Wed, Mar 16, 2011 at 9:53 AM, Ramana Kumar <ramana.kumar at gmail.com> wrote:
>> Why are there axioms about about tail and head and map required for
>> the base package? It seems a bit odd, given that there aren't any,
>> say, for length, and also since those constants are supposed to be
>> defined by the package.
>>
>> On Mon, Mar 14, 2011 at 9:28 PM, Joe Hurd <joe at gilith.com> wrote:
>>> What better day than Pi Day to announce the release of the Gilith
>>> OpenTheory Repo
>>>
>>> http://opentheory.gilith.com/
>>>
>>> which is now live and ready to receive your theory packages.
>>>
>>> Buyer beware: it's only lightly tested and almost certainly contains
>>> bugs, but please dive in anyway and feel free to report infelicities
>>> and missing features on this list.
>>>
>>> Cheers,
>>>
>>> Joe
>>>
>>> _______________________________________________
>>> opentheory-users mailing list
>>> opentheory-users at gilith.com
>>> http://www.gilith.com/opentheory/mailing-list
>>>
>>
>> _______________________________________________
>> opentheory-users mailing list
>> opentheory-users at gilith.com
>> http://www.gilith.com/opentheory/mailing-list
>>
>