Robert Widhopf-Fenk <[EMAIL PROTECTED]> writes: > Reading this I think we should also handle it as TLA, > handles revision libraries: the user should explicitly > enable the log-library and the greedy mode.
Not sure this is a good idea. The log library considerably speeds up many Xtla operations, and is much smaller than a revision library. Any other opinion? -- Matthieu
