[Termtools] TTTbox

[Martin Johann Korp]

Dear all,

because TTTbox cause some confusion with respect to its relation to TTT, I want
to clarify some points.

> Johannes Waldmann:
> As for TTTbox - I am curious as to its relation to TTT.
> Since TTT does not participate, is TTTbox its "successor"?
> But TTTbox does not apply TTT's methods (interpretations, DP)?

TTTbox represents a new small part of TTT which implements the
(match)bound technique but is not integrated in TTT yet.
So, TTTbox does not represent the "successor" of TTT.

I hope I could help.

Yours sincerely,
         Martin Korp

_______________________________________________
Termtools mailing list
Termtools at lists.lri.fr
http://lists.lri.fr/mailman/listinfo/termtools