[isabelle-dev] HOL-Bali

Alexander Krauss krauss at in.tum.de
Fri Aug 14 12:41:47 CEST 2009


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



More information about the isabelle-dev mailing list