lp15 at cam.ac.uk
Fri Aug 14 12:42:43 CEST 2009
This compares my local copy with my local repository, and I tried it
yesterday; it did not indicate any unexpected changes.
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.
On 14 Aug 2009, at 11:41, Alexander Krauss wrote:
> 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?
More information about the isabelle-dev