Thu, 16 Sep 2010 07:30:15 +0200 | blanchet | MIT license -> BSD License | file | diff | annotate |
Wed, 15 Sep 2010 22:20:10 +0200 | blanchet | make "metis.ML" building process slightly more robust by eliminating the need for "FILES"; | file | diff | annotate |
Wed, 15 Sep 2010 19:55:26 +0200 | blanchet | document Metis updating procedure | file | diff | annotate |