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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and