# HG changeset patch
# User blanchet
# Date 1284681583 -7200
# Node ID 99d6cad53c7ec42761895a0e006907aaffbc9fd7
# Parent  b7ff4b15be134d8777fee4df4820fc0a4bab12dc
update README

diff -r b7ff4b15be13 -r 99d6cad53c7e src/Tools/Metis/README
--- a/src/Tools/Metis/README	Fri Sep 17 01:59:30 2010 +0200
+++ b/src/Tools/Metis/README	Fri Sep 17 01:59:43 2010 +0200
@@ -8,7 +8,7 @@
  1. The files "Makefile" and "script/mlpp" and the directory "src/"
     were initially copied from Joe Hurd's official Metis package. The
     package that was used when these notes where written was Metis 2.3
-    (15 Sept. 2010).
+    (16 Sept. 2010).
 
  2. The license in each source file will probably not be something we
     can use in Isabelle. The "fix_metis_license" script can be run to
@@ -20,11 +20,11 @@
         as part of Isabelle, with the Metis code covered under the
         Isabelle BSD license.
 
- 3. Some modifications have to be done manually to the source files.
-    The ultimate way to track them down is to use Mercurial. The
-    command
+ 3. Some modifications might have to be done manually to the source
+    files. The ultimate way to track them down is to use Mercurial.
+    The command
 
-        hg diff -rbeabb8443ee4: src
+        hg diff -rcffceed8e7fa: src
 
     should do the trick. You might need to specify a different
     revision number if somebody updated the Metis sources without
@@ -55,4 +55,4 @@
 Good luck!
 
     Jasmin Blanchette
-    16 Sept. 2010
+    17 Sept. 2010