1.1 --- a/src/Tools/Metis/README	Fri Sep 17 01:59:30 2010 +0200
     1.2 +++ b/src/Tools/Metis/README	Fri Sep 17 01:59:43 2010 +0200
     1.3 @@ -8,7 +8,7 @@
     1.4   1. The files "Makefile" and "script/mlpp" and the directory "src/"
     1.5      were initially copied from Joe Hurd's official Metis package. The
     1.6      package that was used when these notes where written was Metis 2.3
     1.7 -    (15 Sept. 2010).
     1.8 +    (16 Sept. 2010).
     1.9  
    1.10   2. The license in each source file will probably not be something we
    1.11      can use in Isabelle. The "fix_metis_license" script can be run to
    1.12 @@ -20,11 +20,11 @@
    1.13          as part of Isabelle, with the Metis code covered under the
    1.14          Isabelle BSD license.
    1.15  
    1.16 - 3. Some modifications have to be done manually to the source files.
    1.17 -    The ultimate way to track them down is to use Mercurial. The
    1.18 -    command
    1.19 + 3. Some modifications might have to be done manually to the source
    1.20 +    files. The ultimate way to track them down is to use Mercurial.
    1.21 +    The command
    1.22  
    1.23 -        hg diff -rbeabb8443ee4: src
    1.24 +        hg diff -rcffceed8e7fa: src
    1.25  
    1.26      should do the trick. You might need to specify a different
    1.27      revision number if somebody updated the Metis sources without
    1.28 @@ -55,4 +55,4 @@
    1.29  Good luck!
    1.30  
    1.31      Jasmin Blanchette
    1.32 -    16 Sept. 2010
    1.33 +    17 Sept. 2010