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
------------------------------------------------------------------------------
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
