[opentheory-users] question about camlp5

Robert White ai.robert.wangshuai at gmail.com
Thu May 28 18:13:07 UTC 2015

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


Robert White <http://www.dptinfo.ens-cachan.fr/~swang/>(Shuai Wang)
INRIA Deducteam <https://www.rocq.inria.fr/deducteam/>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20150528/18be2bca/attachment.html>

More information about the opentheory-users mailing list