Re: [isabelle] Errors in process filter



Hi Kamal,

nice to hear from you again. The error messages that you describe are incomprehensible without context. Moreover, the rv tactic is not (yet) part of Isabelle, so subscribers to this list will not be able to help you much. Please, let me know (privately) in what situation you get these messages so that we can find out what goes wrong.

Thanks,
Stephan

kkgupta at iitg.ernet.in wrote:
Hi

I am getting these errors. Can any one please help me out. I am working on proof reconstruction for linear arithematic on rationals under Prof. stephan Merz. I am experimenting with the rv tactic and I get the following errors.

1. (error/warning) Error in process filter: (error Stack overflow in regexp matcher)

2. (error/warning) Error in process filter: (error Variable binding depth exceeds max-specpdl-size)

Thanks in advance
Best Regards
---------------------------------------------
KAMAL KANT GUPTA
B.tech Fourth Year
Computer Science And Engineering
Hostel Kapili
IIT Guwahati
Contact No.- +91-9954293077
Email-id:: kkgupta at iitg.ernet.in
        mailtokkgupta at gmail.com
---------------------------------------------







This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.