[isabelle] Fwd: Exception Codes



I forwarded this email to isabelle-users because it would be off-topic
on isabelle-dev.

-------- Forwarded Message --------
Subject: 	Exception Codes
Date: 	Tue, 21 May 2019 12:22:25 +0000
From: 	Anzinger, Maximilian <maximilian.anzinger at tum.de>
To: 	isabelle-dev at in.tum.de <isabelle-dev at in.tum.de>



Hi there,


it would be great if you could tell me what my problem here is or tell
me where to find your exception codes in the documentation?

At least I couldn't find them.


Best Regards

Maximilian Anzinger



https://i.imgur.com/ybuoz7U.jpg





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