[isabelle-dev] HOL-Bali

[Alexander Krauss]

Lawrence Paulson wrote:
> I have no idea. With Mercurial I don't know how to compare what I have 
> with what it should be.

Does "hg diff" not help?

Alex