[opentheory-users] article repository

Ramana Kumar ramana.kumar at gmail.com
Sat Jan 8 18:04:43 UTC 2011


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.
>



More information about the opentheory-users mailing list