Re: [isabelle] A few questions about Isabelle2013



On Sat, 12 Jan 2013, Gottfried Barrow wrote:

COMMENTS CONTENT IS PICKIER

I got several errors I didn't get before for stuff that was in comments. I found what it was that made the comments happy.

Guessing and speculating again, it might be just malformed Isabelle symbols: anything starting with \< that is not properly terminated according to the \<foobar> or \<^foobar> syntax.


	Makarius






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