[isabelle-dev] HOL-Bali

[Alexander Krauss]

Lawrence Paulson wrote:
> This compares my local copy with my local repository, and I tried it 
> yesterday; it did not indicate any unexpected changes.

Then either your working directory was still OK at that point, or you 
had already committed a corrupted version locally, such that it has 
become a new revision. Then hg diff does not show anything, since you 
working directory is unchanged compared to that latest revision. (You 
can also compare to other revisions using the -r option).

If hg diff does not show anything, but you are sure that there is a 
change, then you use "hg annotate FILE" to find the changeset that last 
changed these lines.

> I went on the website to download the official copy of the file, and 
> indeed Emacs had erased lots of material. I have no idea why does this 
> or why these changes weren't visible yesterday.

No idea about emacs... But instead of downloading the file manually, you 
can take advantage of the fact that Mercurial has all history available 
locally.

Alex