[opentheory-users] question about camlp5

[Joe Leslie-Hurd]

Hi Robert,

I am afraid I cannot help with this, but I see you have already asked
the hol-info list so hopefully the HOL Light experts there will be
able to answer your question.

Cheers,

Joe

On Thu, May 28, 2015 at 11:13 AM, Robert White
<ai.robert.wangshuai at gmail.com> wrote:
> Dear all,
>
> I wonder if there is a way I can get rid of the error of :
>  Error: Unbound value set_jrh_lexer
>
> Sometimes it is working sometimes it is not. I am very confused. Is there
> any advice?
>
> Thanks a lot
>
> --
>
> Regards,
> Robert White (Shuai Wang)
> INRIA Deducteam
>
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list
>