src/Tools/Metis/README
Wed, 08 Jun 2011 08:47:43 +0200 blanchet new Metis version
Tue, 05 Apr 2011 10:47:37 +0200 blanchet updated instructions
Fri, 17 Sep 2010 01:59:43 +0200 blanchet update README
Thu, 16 Sep 2010 08:02:32 +0200 blanchet streamlined "make_metis"
Thu, 16 Sep 2010 07:30:15 +0200 blanchet MIT license -> BSD License
Wed, 15 Sep 2010 22:20:10 +0200 blanchet make "metis.ML" building process slightly more robust by eliminating the need for "FILES";
Wed, 15 Sep 2010 19:55:26 +0200 blanchet document Metis updating procedure
less more (0) tip