[opentheory-users] article writers

[Joe Hurd]

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?

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
>