Re: [isabelle] Errors in process filter



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.