--- a/src/Tools/Metis/README Wed Jun 08 08:47:43 2011 +0200
+++ b/src/Tools/Metis/README Wed Jun 08 08:47:43 2011 +0200
@@ -4,9 +4,9 @@
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
- (29 Dec. 2010).
+ must reflect the corresponding files in Joe Hurd's official Metis
+ package. The package that was used when these notes where written
+ was Metis 2.3 (31 May 2011).
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,13 +20,6 @@
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 -r90c7c97f0c21: src
-
- should do the trick. You might need to specify a different
- revision number if somebody updated the Metis sources without
- updating these instructions; consult the history in case of doubt.
4. Isabelle itself cares only about "metis.ML", which is generated
from the files in "src/" by the script "make_metis". The script
@@ -53,4 +46,4 @@
Good luck!
Jasmin Blanchette
- 23 March 2011
+ 8 June 2011