[opentheory-users] article writers

[Ramana Kumar]

On Tue, Jan 11, 2011 at 9:20 PM, Joe Hurd <joe at gilith.com> wrote:
> Hi Ramana,
>
> Sorry about that: the http access to git wasn't set up properly. I
> believe I've fixed it now: could you try again?

thanks - works now.

>
> Cheers,
>
> Joe
>
> On Tue, Jan 11, 2011 at 1:20 AM, Ramana Kumar <ramana.kumar at gmail.com> wrote:
>> fatal: http://src.gilith.com/hol-light/info/refs not found: did you
>> run git update-server-info on the server?
>>
>> On Tue, Jan 11, 2011 at 12:20 AM, Joe Hurd <joe at gilith.com> wrote:
>>> Hi Ramana,
>>>
>>>> How many proof assistants have article writers?
>>>
>>> So far only HOL Light has a writer.
>>>
>>>> However I can't find any OpenTheory related code in the HOL-light
>>>> sources. This could be because I don't know where to look - is it
>>>> there to be found?
>>>
>>> I have a git repo that adds proof logging to HOL Light, and tracks the
>>> official HOL Light svn repo to stay current. You can get my fork here:
>>>
>>> http://src.gilith.com/hol-light.html
>>>
>>> Most of the proof logging infrastructure is in fusion.ml and
>>> opentheory/logging.ml
>>>
>>> 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
>>
>
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list
>