# HG changeset patch
# User blanchet
# Date 1301993257 -7200
# Node ID 89571b08a427119fb272de9f6b708c6e1ea3dc2d
# Parent  7ec43598c8bed38eece1c07eb8ba247dc226280d
updated instructions

diff -r 7ec43598c8be -r 89571b08a427 src/Tools/Metis/README
--- a/src/Tools/Metis/README	Tue Apr 05 10:47:36 2011 +0200
+++ b/src/Tools/Metis/README	Tue Apr 05 10:47:37 2011 +0200
@@ -1,14 +1,12 @@
 It's a good idea to update the Metis source code regularly, to benefit
 from the latest developments, to avoid a permanent fork, and to detect
 Metis problems early. This file explains how to update the source code
-for Metis with the latest Metis package. The procedure is
-unfortunately somewhat involved and frustrating, and hopefully
-temporary.
+for Metis with the latest Metis package.
 
  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
-    (16 Sept. 2010).
+    (29 Dec. 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
@@ -24,7 +22,7 @@
     files. The ultimate way to track them down is to use Mercurial.
     The command
 
-        hg diff -rcffceed8e7fa: src
+        hg diff -r90c7c97f0c21: src
 
     should do the trick. You might need to specify a different
     revision number if somebody updated the Metis sources without
@@ -55,4 +53,4 @@
 Good luck!
 
     Jasmin Blanchette
-    17 Sept. 2010
+    23 March 2011