Re: [isabelle] Error messages in RC2014-RC4



On 29.08.2014 12:51, Alfio Martini wrote:
> Thank you Lars! It does not seem to be of any use, though. The position
> errors are
> already marked with  squiggly red underlines.
It is very useful for errors in ML blocks or if those errors refer to an
exception in some ML-code.




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