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.


kkgupta at wrote:

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
Computer Science And Engineering
Hostel Kapili
IIT Guwahati
Contact No.- +91-9954293077
Email-id:: kkgupta at
        mailtokkgupta at

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