Re: [isabelle] PIDE by example



> cannot been cause System.scala:36 has not been changed. So, what could
> be the error and how can I find another one myself next time ?

I introduced that problem. Looks like I made a faulty commit which I
didn't test before pushing.

I corrected that error in 6949b35.

Cheers
Lars




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