| Tue, 25 Mar 2014 19:03:02 +0100 | wenzelm | proper configuration option "ML_print_depth"; | file | diff | annotate |
| Wed, 08 Jun 2011 08:47:43 +0200 | blanchet | removed yet another hack in "make_metis" script -- respect opacity of "Metis_Name.name" | file | diff | annotate |
| Thu, 16 Sep 2010 08:02:32 +0200 | blanchet | streamlined "make_metis" | 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 18:51:48 +0200 | blanchet | update comment | file | diff | annotate |
| Wed, 15 Sep 2010 16:17:05 +0200 | blanchet | got rid of three crude regexps from "make_metis" | file | diff | annotate |
| Wed, 15 Sep 2010 15:49:43 +0200 | blanchet | tuning | file | diff | annotate |
| Wed, 15 Sep 2010 15:49:21 +0200 | blanchet | rename | file | diff | annotate | base |