[isabelle-dev] HOL-Bali

Lawrence Paulson 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?
> Alex

More information about the isabelle-dev mailing list