[Termination tools] new match bound tool

[Claude Marche]

One technical thing: could you please give version numbers to your
tools ? And possibly a command line option like -version to print it ?
This would greatly avoid mistakes.

- Claude

>>>>> "H" == H Zantema <hzantema at win.tue.nl> writes:

    H> We want to stress that the deadline for the final version (Friday, April 8)
    H> is strict: if you do not submit a final version by then, then the earlier
    H> submitted version will be used.

    H> In case you submit a final version improving the first version, I suggest
    H> that you specify the improvement by mentioning a system in the new TPDB
    H> that can be solved by your new version and not by your old version.
    H> In this way Claude can easily test whether he is really running the 
    H> newest version.



-- 
| Claude Marché           | mailto:Claude.Marche at lri.fr |
| LRI - Bât. 490          | http://www.lri.fr/~marche/  |
| Université de Paris-Sud | phoneto: +33 1 69 15 64 85  |
| F-91405 ORSAY Cedex     | faxto: +33 1 69 15 65 86    |