krauss at in.tum.de
Fri Aug 14 12:58:46 CEST 2009
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
More information about the isabelle-dev