[opentheory-users] article repository

[Joe Hurd]

Hi Ramana,

The web repositories are still being actively worked on, and haven't
been officially "released" yet, but browse through the gilith repo

http://opentheory.gilith.com/

to see which packages are installed on it.

The packages live on this web repo, and package repo lists are stored
locally in your

~/.opentheory/repos

directory.

Cheers,

Joe

On Sat, Jan 8, 2011 at 10:04 AM, Ramana Kumar <ramana.kumar at gmail.com> wrote:
> It seems that opentheory knows about a "gilith" repository as soon as
> you install it.
> Is there a way to list all the packages in a repository, or search a repository?
> Also, what about getting info on it, like is this gilith repository on
> the web or is it somewhere local on my hard disk?
>
> On Sat, Jan 8, 2011 at 5:58 PM, Ramana Kumar <ramana.kumar at gmail.com> wrote:
>> Is there a repository of opentheory articles anywhere?
>> The only ones I've seen so far are in the test directory of the
>> opentheory package.
>> Have you seen the hol-online project? http://code.google.com/p/hol-online/
>> I'm not sure how theories are going to be stored there, but maybe we
>> should try to mirror it at least in opentheory.
>>
>
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list
>