Stefan Reichör <[EMAIL PROTECTED]> writes: > We should integrate that information to the docstrings of > tla-revision-star-merge and tla-revision-replay
A few words about that will not harm, but the goal of xtla is I think not to repeat tla's documentation. To get help about replay : M-x tla-help RET replay RET is probably the best place to look at in xtla. -- Matthieu
