Wed, 07 Sep 2011 09:10:41 +0200 | blanchet | rationalize uniform encodings | file | diff | annotate |
Fri, 02 Sep 2011 14:43:20 +0200 | blanchet | renamed "Metis_Tactics" to "Metis_Tactic", now that there is only one Metis tactic ("metisFT" is legacy) | file | diff | annotate | base |