[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


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