[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